[racket] typed racked questions

Interesting. What is the status of this project? Is this going to be in the
next release.

Bikal

On Mon, Apr 30, 2012 at 6:10 PM, Jay McCarthy <jay.mccarthy at gmail.com>wrote:

> On Mon, Apr 30, 2012 at 8:57 AM, Bikal Gurung <gbikal at gmail.com> 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?
>
> FWIW, We are currently in the process of natively typing the Web libraries.
>
> Jay
>
> >
> > Much Thanks
> > Bikal
> >
> >
> > On Mon, Apr 30, 2012 at 2:50 PM, Ray Racine <ray.racine at gmail.com>
> 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 <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
> >>>
> >>
> >
> >
> > ____________________
> >  Racket Users list:
> >  http://lists.racket-lang.org/users
> >
>
>
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://faculty.cs.byu.edu/~jay
>
> "The glory of God is Intelligence" - D&C 93
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120430/25fa4122/attachment.html>