| 1. | | Climbing the infinite ladder of abstraction (2016) (lexi-lambda.github.io) |
| 1 point by ibobev 6 months ago | past |
|
| 2. | | Dynamic type systems are not inherently more open (lexi-lambda.github.io) |
| 4 points by Munksgaard 8 months ago | past |
|
| 3. | | Parse, Don't Validate (2019) (lexi-lambda.github.io) |
| 252 points by shirian 8 months ago | past | 172 comments |
|
| 4. | | An introduction to typeclass metaprogramming in Haskell (lexi-lambda.github.io) |
| 3 points by srid on Oct 29, 2025 | past |
|
| 5. | | Names are not type safety (2020) (lexi-lambda.github.io) |
| 56 points by azhenley on Aug 3, 2025 | past | 77 comments |
|
| 6. | | A Break from Programming Languages (lexi-lambda.github.io) |
| 2 points by mpweiher on May 30, 2025 | past | 1 comment |
|
| 7. | | A Break from Programming Languages (lexi-lambda.github.io) |
| 5 points by cod1r on May 30, 2025 | past |
|
| 8. | | A Break from Programming Languages (lexi-lambda.github.io) |
| 25 points by todsacerdoti on May 29, 2025 | past | 4 comments |
|
| 9. | | Parse, Don't Validate (2019) (lexi-lambda.github.io) |
| 321 points by revskill on July 22, 2024 | past | 102 comments |
|
| 10. | | Dynamic type systems are not inherently more open (2020) (lexi-lambda.github.io) |
| 2 points by nequo on May 13, 2024 | past |
|
| 11. | | Parse, don't validate (2019) (lexi-lambda.github.io) |
| 398 points by declanhaigh on March 7, 2023 | past | 219 comments |
|
| 12. | | Parse, Don’t Validate (lexi-lambda.github.io) |
| 2 points by lobo_tuerto on Jan 21, 2023 | past |
|
| 13. | | Parse, Don't Validate (2019) (lexi-lambda.github.io) |
| 389 points by melse on June 26, 2021 | past | 270 comments |
|
| 14. | | Parse, Don’t Validate (2019) (lexi-lambda.github.io) |
| 2 points by manx on April 7, 2021 | past |
|
| 15. | | An Introduction to Typeclass Metaprogramming (lexi-lambda.github.io) |
| 72 points by todsacerdoti on March 25, 2021 | past |
|
| 16. | | Parse, Don’t Validate (lexi-lambda.github.io) |
| 4 points by ducaale on March 19, 2021 | past |
|
| 17. | | Parse, Don’t Validate (lexi-lambda.github.io) |
| 3 points by tambourine_man on Feb 11, 2021 | past |
|
| 18. | | Names are not type safety (lexi-lambda.github.io) |
| 262 points by azhenley on Nov 2, 2020 | past | 125 comments |
|
| 19. | | Types as axioms, or: playing god with static types (lexi-lambda.github.io) |
| 109 points by goranmoomin on Aug 15, 2020 | past | 25 comments |
|
| 20. | | Types as axioms, or: playing god with static types (2020) (lexi-lambda.github.io) |
| 5 points by todsacerdoti on Aug 14, 2020 | past |
|
| 21. | | Empathy and subjective experience in programming languages (lexi-lambda.github.io) |
| 3 points by ingve on March 29, 2020 | past |
|
| 22. | | Dynamic type systems are not inherently more open (lexi-lambda.github.io) |
| 382 points by jose_zap on Jan 19, 2020 | past | 275 comments |
|
| 23. | | Parse, Don’t Validate (lexi-lambda.github.io) |
| 642 points by undreren on Nov 7, 2019 | past | 230 comments |
|
| 24. | | Parse, Don't Validate (lexi-lambda.github.io) |
| 31 points by phonebucket on Nov 7, 2019 | past | 4 comments |
|
| 25. | | Empathy and subjective experience in programming languages (lexi-lambda.github.io) |
| 1 point by Eugeleo on Oct 25, 2019 | past |
|
| 26. | | Empathy and subjective experience in programming languages (lexi-lambda.github.io) |
| 19 points by psibi on Oct 20, 2019 | past | 3 comments |
|
| 27. | | An opinionated guide to Haskell in 2018 (lexi-lambda.github.io) |
| 3 points by dilawar on June 27, 2019 | past |
|
| 28. | | Defeating Racket’s separate compilation guarantee (lexi-lambda.github.io) |
| 109 points by galfarragem on April 22, 2019 | past | 5 comments |
|
| 29. | | The Hackett Programming Language (lexi-lambda.github.io) |
| 3 points by tosh on Aug 7, 2018 | past |
|
| 30. | | Climbing the infinite ladder of abstraction (lexi-lambda.github.io) |
| 2 points by mpweiher on June 9, 2018 | past |
|
|
| More |
