User loginNavigation 
Type classes and type generator restrictionsHello LtU. I've been lurking for a while, but this is my first post. I'm not really sure where it ranks on the scale from "how did you get through undergrad without reading X" to "do your own research, dude". I've tried googling everything I can think of, and reading breadth first from Glynn, Stuckey, and Sulzmann's paper "Type classes and constraint In a Haskellesque language with Haskell type classes, imagine a type generator, Set. This type generator requires that its argument be an instance of the Equality type class (because otherwise, how could it ensure that its elements are distinct). Set is also an instance of the Haskell Functor type class, because we can map over sets. With theSet having type Set integer, and a map function with the usual type (namely, (Functor f) => (a > b) > F a > F b), everything seems good. But here's my problem: map (+) theSet appears to have the type Set (integer > integer). KABOOM! Functions aren't in the Equality type class, and so we can't specialize Set at integer > integer. Does anyone know how to build a type inference / type checking algorithm that reports this error (statically)? If so, could you point me in the right direction? By Douglas McClean at 20080723 23:44  LtU Forum  previous forum topic  next forum topic  other blogs  6836 reads

Browse archives
Active forum topics 
Recent comments
7 weeks 5 days ago
7 weeks 5 days ago
7 weeks 5 days ago
29 weeks 6 days ago
34 weeks 1 day ago
35 weeks 5 days ago
35 weeks 5 days ago
38 weeks 3 days ago
43 weeks 17 hours ago
43 weeks 19 hours ago