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 >
Absolutely! 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. - Sergiu -- 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 https://groups.google.com/d/msgid/racket-users/9bce12f3-fbba-4dec-b849-235ef573602c%40googlegroups.com.