[racket] typed racked questions

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