Interesting. What is the status of this project? Is this going to be in the next release.<div> </div><div>Bikal</div><div> <div class="gmail_quote">On Mon, Apr 30, 2012 at 6:10 PM, Jay McCarthy <<a href="mailto:jay.mccarthy@gmail.com" target="_blank">jay.mccarthy@gmail.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Mon, Apr 30, 2012 at 8:57 AM, Bikal Gurung <<a href="mailto:gbikal@gmail.com">gbikal@gmail.com</a>> 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? </div>FWIW, We are currently in the process of natively typing the Web libraries. Jay <div class="HOEnZb"><div class="h5"> > > Much Thanks > Bikal > > > On Mon, Apr 30, 2012 at 2:50 PM, Ray Racine <<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>> 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 <<a href="mailto:gbikal@gmail.com">gbikal@gmail.com</a>> 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: >>> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> >>> >> > > > ____________________ > Racket Users list: > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> > </div></div>-- Jay McCarthy <<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>> Assistant Professor / Brigham Young University <a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a> "The glory of God is Intelligence" - D&C 93 </blockquote></div> </div>