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