Three hours ago, Neil Toronto wrote: > Typed Racket has arrived: it is useful to write programs in it in > which types outnumber code.
(...and therefore having types go through macro-expansion is even more
obviously missing...)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
____________________
Racket Users list:
http://lists.racket-lang.org/users
