3 ms·
The idea is that it's a language for abstracting out common type relationships and calculations. I haven't yet seen a software-development context where those a
by AlexCoventry 8y ago
The idea is that it's a language for abstracting out common type relationships and calculations. I haven't yet seen a software-development context where those abstractions carry their weight, though.
- hopler 8y agoIt is only useful in languages with sufficiently expressive type systems, like Haskell. Otherwise you quickly hit a wall where it's impossible or impractical to express your idea in the language's type system, the same complaint that python programmers have when they try to write Java.
- AlexCoventry 8y agoI'm not seeing the payoff even in Haskell.