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