Hi Ray,<div><br></div><div>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> <div><br></div><div>Much Thanks</div><div>Bikal<br><br><div class="gmail_quote">On Mon, Apr 30, 2012 at 2:50 PM, Ray Racine <span dir="ltr"><<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_extra">User Testimonial. I migrated exclusively to TR awhile back and prefer it immensely. <br><br> <div class="gmail_quote"><div class="im">On Mon, Apr 30, 2012 at 12:51 AM, Bikal Gurung <span dir="ltr"><<a href="mailto:gbikal@gmail.com" target="_blank">gbikal@gmail.com</a>></span> wrote:<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">Hi All,<div><br></div><div>I am investigating typed racket. I was wondering if someone could help with answering the questions below. </div> <div><br></div><div>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?</div> <div><br></div><div>2) What is the canonical racket paradigm? use typed racket or untyped racket? Or is this more an issue of a preference/style?</div><div><br></div><div>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.</div> <div><br></div><div>4) Can typed racket module be used in the context of untyped racket module?</div><div><br></div><div>5) Is there a Hindlye/Milner style type inferencing algorithm for typed racket being worked on?</div> <div><br></div><div>With Thanks</div><span><font color="#888888"><div>Bikal</div><div><br></div> </font></span><br></div></div>____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> <br></blockquote></div><br></div> </blockquote></div><br></div>