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!

Holy hairy armpit sweat smell in a perfume jar, Racket is indeed retarded and made for retards.

Type Checker: type mismatch
expected: Flonum
given: Positive-Byte in: 3

3 doesn't unify with Flonum. 3. Flonum. Type error. F u c k i n g g a y r e t a r d s.