An understandable, enlightening article about type class resolution in Haskell. With an example of why to move type equality constraints from the head of a class to the context of the class.
http://blog.infinitenegativeutility.com/2017/1/haskell-type-equality-constraints
No comments:
Post a Comment