On Saturday, December 26, 2015 at 9:14:10 PM UTC-5, Asumu Takikawa wrote: > > That way at least your types won't bitrot as much. Note that as the name > indicates, this is potentially less safe than untyped Racket if the TR > optimizer is on. > > (you could also write a wrapper macro that globally enables/disables the > use of the unsafe imports & exports) >
Assuming that I'm reasonably sure from empirical tests that my contracts implied by the typed/untyped bridge are being satisfied, then this looks like a good idea. Thanks for this addition to the system. -- 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.
