Hacker News
- Parse, Don’t Validate https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 230 comments
- Parse, Don't Validate https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 4 comments
- Realizing Hackett, a metaprogrammable Haskell https://lexi-lambda.github.io/blog/2017/05/27/realizing-hackett-a-metaprogrammable-haskell/ 32 comments
Lobsters
- Parse, don’t validate (2019) http://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 8 comments haskell , programming
- Names are not type safety http://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ 15 comments haskell , plt
- An opinionated guide to Haskell in 2018 http://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018 2 comments haskell
- Rascal: a Haskell with more parentheses http://lexi-lambda.github.io/blog/2017/01/02/rascal-a-haskell-with-more-parentheses/ 16 comments haskell , lisp
- Climbing the infinite ladder of abstraction http://lexi-lambda.github.io/blog/2016/08/11/climbing-the-infinite-ladder-of-abstraction/ 6 comments programming
- Parse, don't validate. Need help with structure design. https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 8 comments rust
- An introduction to typeclass metaprogramming https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/ 36 comments haskell
- Names are not type safety https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ 54 comments rust
- Names are not type safety https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ 27 comments haskell
- Parse, don’t validate https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 14 comments typescript
- Types as axioms, or: playing god with static types https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/ 25 comments programming
- Types as axioms, or: playing god with static types https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/ 9 comments haskell
- No, dynamic type systems are not inherently more open https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ 620 comments programming
- No, dynamic type systems are not inherently more open https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ 79 comments haskell
- Parse, don't validate https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 126 comments programming
- Parse, don’t validate https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 66 comments haskell
- Empathy and subjective experience in programming languages https://lexi-lambda.github.io/blog/2019/10/19/empathy-and-subjective-experience-in-programming-languages/ 6 comments programming
- Empathy and subjective experience in programming languages https://lexi-lambda.github.io/blog/2019/10/19/empathy-and-subjective-experience-in-programming-languages/ 31 comments haskell
- Demystifying `MonadBaseControl` https://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/ 14 comments haskell
- An opinionated guide to Haskell in 2018 https://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018/ 35 comments haskell
- An opinionated guide to Haskell in 2018 https://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018/ 14 comments programming
- Reimplementing Hackett’s type language: expanding to custom core forms in Racket https://lexi-lambda.github.io/blog/2018/04/15/reimplementing-hackett-s-type-language-expanding-to-custom-core-forms-in-racket/ 9 comments haskell
- An opinionated guide to Haskell in 2018 https://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018/ 92 comments haskell
- A space of their own: adding a type namespace to Hackett https://lexi-lambda.github.io/blog/2017/10/27/a-space-of-their-own-adding-a-type-namespace-to-hackett/ 8 comments haskell
- Hackett progress report: documentation, quality of life, and snake https://lexi-lambda.github.io/blog/2017/08/28/hackett-progress-report-documentation-quality-of-life-and-snake/ 13 comments haskell
- Unit testing effectful Haskell with monad-mock https://lexi-lambda.github.io/blog/2017/06/29/unit-testing-effectful-haskell-with-monad-mock/ 14 comments haskell
- Realizing Hackett, a metaprogrammable Haskell https://lexi-lambda.github.io/blog/2017/05/27/realizing-hackett-a-metaprogrammable-haskell/ 15 comments programming
- Rascal is now Hackett, plus some answers to questions https://lexi-lambda.github.io/blog/2017/01/05/rascal-is-now-hackett-plus-some-answers-to-questions/ 43 comments haskell
- Rascal: a Haskell with more parentheses https://lexi-lambda.github.io/blog/2017/01/02/rascal-a-haskell-with-more-parentheses/ 43 comments haskell
- Is the GHC monopoly Limiting haskell development and progress? https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ 31 comments haskell
- Haskell and the no runtime exception claim (95% of the time) https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ 51 comments haskell
- Using types to unit-test in Haskell https://lexi-lambda.github.io/blog/2016/10/03/using-types-to-unit-test-in-haskell/ 18 comments haskell
- Climbing the infinite ladder of abstraction https://lexi-lambda.github.io/blog/2016/08/11/climbing-the-infinite-ladder-of-abstraction/ 307 comments programming
- Four months with Haskell https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ 12 comments coding
- Four months with Haskell https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ 74 comments programming
- Four months with Haskell https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ 109 comments haskell
- Learning Haskell — A Racket programmer's documentation of her foray into the land of Haskell (inspired by Learning Racket) http://lexi-lambda.github.io/learning-haskell/ 102 comments haskell