On Mon, Mar 15, 2010 at 07:31:12PM -0500, Louis Wasserman wrote:
I'm going to phrase this as a challenge, because I think that's likely to get the best response:
I just released a package, th-kindshttp://hackage.haskell.org/package/th-kinds, which attempts to automatically infer the kind of a specified type, type constructor, type family, type class, or pretty much anything else that has a kind.
This package was developed in response to a sort-of challenge from Brent Yorgey on #haskell to create this functionality. So, uh, I stayed up last night until 5 am learning unification algorithms and implementing this...heh.
Ironically, after issuing this challenge I later realized that I can actually get away without it for now. =) But it's still pretty cool -- and I may actually end up wanting it later if I continue to extend my library -- and I'll try testing it out soon. -Brent