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