Racket ftw

Racket's compilation phases are much better than Common Lisp's "one big mess" approach. Global mutables visible at compile-time only? Importing modules for use in macros only? Separate compilation where the compile-time mutability in one module can never sip into another? Fuck yeah to all of that. They've got like unlimited number of phases, i.e. 0 is runtime, 1 is expansion time, 2 is the expansion time of macros used in phase 1, etc.

I made a typeclass system with Racket macros in a jiffy, and it's even better than in Haskell as it has first-class instances. You can inspect instances, modify them, choose which one to call, etc.

Fuck yeah Racket!

>>21
Of course it doesn't. The compiler does.