User: Ericson2314

  • Created: 3425 days ago
  • Karma: 6403
  • 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.)