Ericson2314
Member since 2013
•
Karma: 8,123
•
5,018 submissions
Focuses on program languages and systems programming, with the ideal of formal correctness always in mind.<p><i>x</i> 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<p>Nothing is more important than good abstractions.<p>Haskell is practical; it pays my bills. (https://www.obsidian.systems/ is where I work.)