Focuses on program languages and systems programming, with the ideal of formal correctness always in mind.x should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. - R^nRS
Nothing is more important than good abstractions.
Haskell is practical; it pays my bills. (https://www.obsidian.systems/ is where I work.)