On Tuesday, January 5, 2016 at 11:12:44 AM UTC-8, Matthias Felleisen wrote: > TR is intended for people who wish to add types retroactively.
Not sure I understand this stance: * Does this mean if I want to use types proactively, TR is not a recommended PL? * Or maybe it means adding types proactively is just not a recommended way to go in general, and types should only be added when the code base reaches certain trigger conditions? > The actual purpose is to record with sound, checked types what the designer > had in his head retroactively so that developers can benefit from this type > information and so that the creation of *new code* can benefit from the > (shallow but large) advantages of types and type checking. BTW I did read this "actual purpose" paragraph. I'm just not sure how this answers my comments above :-). -- 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.
