On 04/04/2012 02:02 PM, Ray Racine wrote:
One more anecdote I also seem to recall Typed Racket uncovering a bug in
SRFI-19 string formatting code. I just can't say enough about the value
of Typed Racket. If it had a finger I'd put a ring on it.[1]
Ray
[1] No honeymoon jokes, or commentary of what our kids would look like
please.
At best, the kids would inherit TR's safety, and your ability to
distinguish two instances of a parametric type. Though I shudder to
think of TR being *pregnant*. It would probably start craving
typeclasses on ice cream.
Sorry, that's the best I could do on short notice.
Neil ⊥
____________________
Racket Users list:
http://lists.racket-lang.org/users