[racket] typed racked questions

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Mon Apr 30 13:10:18 EDT 2012

On Mon, Apr 30, 2012 at 8:57 AM, Bikal Gurung <gbikal at gmail.com> wrote:
> 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?

FWIW, We are currently in the process of natively typing the Web libraries.

Jay

>
> Much Thanks
> Bikal
>
>
> 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
>>>
>>
>
>
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93


Posted on the users mailing list.