On Monday, March 23, 2020 at 9:59:22 PM UTC+1, Hendrik Boom wrote:
> On Mon, Mar 23, 2020 at 12:16:45PM -0400, Ben Greenman wrote: 
> > 
> > Not sure about best practices, but I definitely prefer keeping typed 
> > and untyped code in separate modules. 
> It can be veru useful to be able to mix them while in transition from one 
> to the other. 
> -- hendrik 


In my case I am writing code from scratch for my research (theoretical 
computer science), but I end up wanting to write some stuff which Typed 
Racket cannot type (converting to a polymorphic type variable, for 
example), or even stuff which is difficult to type without writing long 
dependent types.  For these cases, I'd prefer to just drop the types 
"temporarily", which the different modules approach should probably allow 
me to do.


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.
To view this discussion on the web visit 

Reply via email to