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  5815 reads

Browse archives
Active forum topics 
Recent comments
15 hours 23 min ago
15 hours 27 min ago
15 hours 46 min ago
18 hours 38 min ago
19 hours 1 min ago
22 hours 11 min ago
22 hours 38 min ago
22 hours 58 min ago
1 day 20 hours ago
1 day 23 hours ago