Comparison of type families with functional dependencies.
This is a haskell-cafe post of a brief summary of the commonalities and differences of the two language features.
About
I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming. Most of my code is in Haskell.
You can find me on App.net (preferred) and Twitter, or on GitHub. Check out my UNSW website.
