Weaving better systems


Haskell is a high-level programming language that can be used to neatly compose large systems from small functions. It takes inspiration from academic mathematics, like type theory, to build a smart compiler that can learn the "shapes" of your functions, and ensure that they all fit together nicely before you even run your program.

These days Joseph: