|
|
user: | Ericson2314 |
created: | April 1, 2013 |
karma: |
6395 |
about: |
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.) |
| submissions | | comments |
|
favorites
|
|