3 ms·
I always thought it was beautiful that Haskell turned type construction into just another function on a different domain. What do people call this abstraction?
by state_less 8y ago
I always thought it was beautiful that Haskell turned type construction into just another function on a different domain. What do people call this abstraction?
- danharaj 8y agoPronounced System F Omega. https://en.wikipedia.org/wiki/System_F#System_F%CF%89 https://en.wikipedia.org/wiki/System_F#System_F%CF%89
- kccqzy 8y agoType-level functions are called type families. They are really not just another function. But if you appreciate that beauty, check out a dependently types language like Idris where normal functions can be used on the type-level as well. So you might have a vector type with a length computed by a complicated expression.