- Type classes: confluence, coherence, global uniqueness http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ 15 comments haskell
Linking pages
- Traits are a Local Maxima · thunderseethe's devlog https://thunderseethe.dev/posts/traits-are-a-local-maxima/ 205 comments
- Open type families are not modular : ezyang’s blog http://blog.ezyang.com/2014/09/open-type-families-are-not-modular/ 52 comments
- Comparing Traits and Typeclasses - Terbium https://terbium.io/2021/02/traits-typeclasses/ 0 comments
- Principled Ad-Hoc Polymorphism https://typesanitizer.com/blog/ad-hoc-polymorphism.html 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:blog.ezyang.com
Search title: Type classes: confluence, coherence and global uniqueness : ezyang’s blog
See how to search.