Hi All,
I have been developing a type inference system which is very similar to type
classes' (by Wadler and Blott). However, I cannot find a detailed
description of the algorithm. In Type Classes in Haskell, implementation
issues are discussed briefly. However, it is too brief for me to
robert wong writes (in the Haskell Cafe):
I have been developing a type inference system which is very similar to
type classes' (by Wadler and Blott). However, I cannot find a detailed
description of the algorithm. In Type Classes in Haskell,
implementation issues are discussed briefly.