Kinds and Higher-Kinded Types in Haskell

⋅

One of the more frequent comments that expert Haskell developers make about other programming languages is that they lack something called higher-kinded types. Which leads to a communication problem. Since those programming languages don’t have a way to express either kinds or HKTs, it is hard for non-Haskell developers to understand what they are missing out on. In the end, the words of the Haskell developer are dismissed as mad ravings, and everybody moves on. But once you […]

Ver mais

Liked Liked