4 ms·

Exactly. The only problem is that you need a language with a sufficiently powerful type system that can express both phantom and existential types.

• chii 7y ago
  > The only problem is that you need a language with a sufficiently powerful type system why is that a problem?
  • pwm 7y ago
    Problem in the sense that most typed languages don't have a sufficiently powerful/expressive type system.
  • skosch 7y ago
    Because everyone and their grandma can whip up a quick Python script after a few days of practice, whereas learning Haskell is a much bigger investment?