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><div>Bikal</div><div><br></div>