| | Parse, Don't Validate (2019) (lexi-lambda.github.io) |
|
321 points by revskill 6 months ago | past | 102 comments
|
|
| | Dynamic type systems are not inherently more open (2020) (lexi-lambda.github.io) |
|
2 points by nequo 8 months ago | 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
|
|
| | Adding a type namespace to Hackett (lexi-lambda.github.io) |
|
2 points by noch on Oct 30, 2017 | past
|
|
| | Simple, safe multimethods in Racket (2016) (lexi-lambda.github.io) |
|
3 points by networked on Aug 27, 2017 | past
|
|
| | User-programmable infix operators in Racket (lexi-lambda.github.io) |
|
2 points by soegaard on Aug 13, 2017 | past
|
|
| | Rascal: a Haskell with more parentheses (lexi-lambda.github.io) |
|
1 point by pmoriarty on July 27, 2017 | past
|
|
| | Realizing Hackett, a metaprogrammable Haskell (lexi-lambda.github.io) |
|
161 points by sndean on May 28, 2017 | past | 32 comments
|
|
|
|
More |
