[racket] typed racked questions

From: Bikal Gurung (gbikal at gmail.com)
Date: Mon Apr 30 10:57:24 EDT 2012

Hi Ray,

Are you using this in your day to day programming? What sort of projects do
you use this for ? Do you use untyped racket in the beginning, i.e when you
are experimenting with ideas/algorithms and then migrate to typed racket ?
Have you used typed racket when developing web applications with the racket
web libs?

Much Thanks

On Mon, Apr 30, 2012 at 2:50 PM, Ray Racine <ray.racine at gmail.com> wrote:

> User Testimonial.  I migrated exclusively to TR awhile back and prefer it
> immensely.
> On Mon, Apr 30, 2012 at 12:51 AM, Bikal Gurung <gbikal at gmail.com> wrote:
>> Hi All,
>> I am investigating typed racket. I was wondering if someone could help
>> with answering the questions below.
>> 1) Can we mix/import modules written in untyped racket to a module that
>> is used typed racket. I have experimented with a few modules using and they
>> seem to work in general but not really sure about the mechanism that makes
>> it work. How does racket make the untyped code and typed code work together
>> if they do? Is this in a case by case basis, ie. module/library by library
>> basis?
>> 2) What is the canonical racket paradigm? use typed racket or untyped
>> racket? Or is this more an issue of a preference/style?
>> 3) Are typed racket programs faster than untyped ones? The documentation
>> says so but I was wondering if there has been any benchmark or study being
>> done on this topic.
>> 4) Can typed racket module be used in the context of untyped racket
>> module?
>> 5) Is there a Hindlye/Milner style type inferencing algorithm for typed
>> racket being worked on?
>> With Thanks
>> Bikal
>> ____________________
>>  Racket Users list:
>>  http://lists.racket-lang.org/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120430/a93db500/attachment-0001.html>

Posted on the users mailing list.