3 ms·
Discovering that Template Haskell exists was important to younger me. Its existence means Smart People have concluded that there are notions of abstraction that
by akoboldfrying 1y ago
Discovering that Template Haskell exists was important to younger me. Its existence means Smart People have concluded that there are notions of abstraction that can't be adequately captured in regular Haskell, which freed me from the persistent feeling that my inability to express something nicely in regular Haskell was due to some inadequacy in myself. I could at last relax, and despise the language.
Also, Haskell? You can take your space leaks and shove them.
- lgas 1y ago> Its existence means Smart People have concluded that there are notions of abstraction that can't be adequately captured in regular Haskell, ...yet.
- tome 1y ago> Also, Haskell? You can take your space leaks and shove them. In case any passers by are interested, space leaks are a solved problem: make invalid laziness unrepresentable (https://h2.jaguarpaw.co.uk/posts/make-invalid-laziness-unrepresentable/ https://h2.jaguarpaw.co.uk/posts/make-invalid-laziness-unrep...)