On how to implement orthogonal feature sets on generic types
A short introduction on how to express higher kinded type also on function signatures and write even more generic compile time checked functions.
On how to smooth your API for call site usage and make your API-Users happier.
I hope you liked the previous parts of this series
As you reached this shore I assume you liked Part I - What is the Problem Anyways? of this series.
Now we are going to look how the Haskell community will solve our problem. If you have no experience in Haskell, don’t worry. The syntax and concepts you will encounter are really easy to grasp.
A Story About the Need for Higher Kinded Types
You probably will have seen people tweeting complaints (agreed that is mostly me) about the lack of higher kinded types (HKT) in F# and you might have thought to yourself I don’t need no stinkin’ HKT or you might have thought what the heck are these HKT anyways if you are more of the open minded type (OMT).