[racket] Typed Racket reactions on developing polymorphic typed array library, and questions

From: Neil Toronto (neil.toronto at gmail.com)
Date: Tue Aug 24 01:59:50 EDT 2010

Matthias Felleisen wrote:
> On Aug 23, 2010, at 12:31 AM, Neil Toronto wrote:
>> This email is feedback on using Typed Racket to develop a new library (i.e. it isn't originally untyped code) that's about 3500 lines long, and some questions.
> For the sake of enhancing Sam's research, it would have bee neat if you had written it all in Untyped first and ported it later. But I can see why you'd want to just get it to work. -- Matthias

I hope it can be useful anyway. In my early move to Typed Racket, there 
were a few things I had to do besides annotate, which I put in my reply 
to Vincent. There's that, at least.

The more of Racket that's made available in Typed Racket, the more we'll 
see things written specifically for Typed Racket. Most of a TR library 
or API can be made available to Racket as-is - the functions, 
specifically. The macros can be tricky, especially those that bind 
variables and inline things, like forall does. I plan to attempt it and 
do another reaction/question email about that.

Although TR is made for annotating and checking untyped Racket code, it 
seems to encourage a slightly different problem-solving or coding style. 
I can't really explain it right now, as my impressions are colored by 
programming for runtime efficiency, which I've never done in Racket before.

Neil T

Posted on the users mailing list.