15 Aug
2010
15 Aug
'10
5:06 a.m.
On 15 August 2010 08:50, Ivan Lazar Miljenovic
Yeah, I'm working on something like this at the moment, but I'm currently stuck on naming: if I want to have Functor for kind * -> *, what's a good name for a type class for kind *?
Conor McBride has suggested looking at arity families of functor-like things (functor, traversable, foldable, halfzippable(?)) may be worthwhile: http://www.haskell.org/pipermail/haskell-cafe/2008-June/044011.html Functors and bi-functors have obvious names, but naming zero arity and three-and-higher ones would need systematic treatment.