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 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

