| | Part 6a: Lowering Row Types, Evidently (thunderseethe.dev) |
| 3 points by thunderbong 5 months ago | past |
|
| | Part 5B: Escaping the Typechecker, an Implementation (thunderseethe.dev) |
| 3 points by thunderbong 5 months ago | past |
|
| | Picking Equatable Names (thunderseethe.dev) |
| 2 points by thunderbong 6 months ago | past |
|
| | Traits Are a Local Maxima (thunderseethe.dev) |
| 2 points by thunderbong 8 months ago | past |
|
| | Traits are a local maximum (thunderseethe.dev) |
| 121 points by emschwartz 8 months ago | past | 101 comments |
|
| | In Search of the Perfect Fold (thunderseethe.dev) |
| 3 points by g0xA52A2A on March 29, 2024 | past |
|
| | I'm Betting on Call-by-Push-Value (thunderseethe.dev) |
| 174 points by todsacerdoti on March 9, 2024 | past | 64 comments |
|
| | What’s in a Module? (thunderseethe.dev) |
| 2 points by ethansinjin on Aug 2, 2023 | past | 1 comment |
|
| | What's in a Module? (thunderseethe.dev) |
| 3 points by thunderseethe on Aug 1, 2023 | past |
|
| | Tying Up Type Inference (thunderseethe.dev) |
| 1 point by thunderseethe on July 18, 2023 | past |
|
| | Type Inference: Bidirectional Constraint Generation (thunderseethe.dev) |
| 1 point by thunderseethe on July 11, 2023 | past |
|
| | Designing a Language Without a Parser (thunderseethe.dev) |
| 114 points by thunderseethe on July 4, 2023 | past | 127 comments |
|