Functional Dependencies with George Karachalias

The next session of Belgium's most active computing Meetup will feature George Karachalias (http://people.cs.kuleuven.be/~george.karachalias) presenting about Functional Dependencies.

Abstract: Associated types and type families are the most commonly used features for type-level programming amongst Haskell users. Yet, another feature has similar expressive power: functional dependencies. In this meeting, we illustrate how one can use this feature for expressive type-level programming. Additionally, we identify the major differences between functional dependencies and associated types and discuss possible ways to bridge the gap between them.