2 ms·
In Haskell, type information is used to generate code. And not just in fancy metaprogramming libraries like Servant - any use of chained type class resolution i
by chowells 4y ago
In Haskell, type information is used to generate code. And not just in fancy metaprogramming libraries like Servant - any use of chained type class resolution is generating code for you based on static type information. How does that power fit into your framework?