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-kinds<http://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