Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
parallel OpenCL implementation, which makes it faster than GHC even for “normal” programs. Finally, it has a clear cost model, which makes it well suited as the foundation of a decentralized VM; a functional counterpart of the EVM. With so many good things, one might wonder why it was not