[racket] typed racked questions

From: Ray Racine (ray.racine at gmail.com)
Date: Mon Apr 30 09:50:55 EDT 2012

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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120430/bd37c02b/attachment.html>

Posted on the users mailing list.