Interesting. What is the status of this project? Is this going to be in the next release.
Bikal On Mon, Apr 30, 2012 at 6:10 PM, Jay McCarthy <[email protected]>wrote: > On Mon, Apr 30, 2012 at 8:57 AM, Bikal Gurung <[email protected]> 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 <[email protected]> > 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 <[email protected]> > 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 <[email protected]> > Assistant Professor / Brigham Young University > http://faculty.cs.byu.edu/~jay > > "The glory of God is Intelligence" - D&C 93 >
____________________ Racket Users list: http://lists.racket-lang.org/users
