[racket] typed racked questions

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Tue May 1 13:49:53 EDT 2012

It will not be in the release. It is an undergrad's summer project.
It's in the early stages now, so nothing more to say really. A big
problem will that Typed Racket is very primitive w.r.t to Racket
features like keyword arguments and structure properties that are used
in the server.

Jay

On Mon, Apr 30, 2012 at 11:30 AM, Bikal Gurung <gbikal at gmail.com> wrote:
> 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
>
>



-- 
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


Posted on the users mailing list.