This is why I'm creating my own CPU architecture. Haskell-based with hardware-level lambdas and GC. Lazy thunks and arbitrary-precision numbers are primitive data types. Everything will compile to Haskell, including a garbage-collected C implementation.