Also it is literally the best language for refactoring. Omg. Anything is available -- macros that fold up so tight you can't see it's arse, compile type type witnesses for safe access to partial objects, fuckin' automatic restructuring of auto-generated code, at compile time, to regex hack in the easy fix for a hard problem. It just so flexible, and you can either use that to prevent bugs by making things stricter, or enable incredible things by doing mad unsafe shit (that's still safe, because you still have the compiler). Wow. What a language.