On Jan 6, 2016, at 12:34 AM, JCG <griffin...@gmail.com> wrote:

> On Tuesday, January 5, 2016 at 2:12:44 PM UTC-5, Matthias Felleisen wrote:
>> Late but I want to record principles and experiences in this thread: 
>> 
> 
>> I don't understand this bullet. Bullet 1 says your code is now completely 
>> typed. Our experience is that completely typed versions are about as fast 
>> and on many occasions (eg., numeric) faster than completely untyped 
>> versions. 
>> 
> 
> Yes, it was hybrid and is still, although today I made quite a few 
> conversions where the cost/benefit (all mental cost/benefit, not speed) was 
> conducive.  This project is 40 files, 17 of which are hybrid with untyped 
> code in submodules.
> 
> I started this Typed Racket in mid-December, but I'm getting there.   My 
> feeling is that I rather like making small modules with typed borders but 
> sometimes untyped implementations.   I look forward to seeing future 
> performance improvements in these hybrids.


You are exactly the kind of user-developer that we imagined. Please keep us 
informed about your progress. If we can assist, don't hesitate to ask. If TR 
and its type system get in your way, let us know. 

Good luck and thanks for these first reports -- Matthias

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to