17 Feb
2016
17 Feb
'16
3:40 p.m.
On Mon, Feb 15, 2016 at 11:21 PM, Clinton Mead
If people really think this is useful, tell me, and I'll try to put it up as a package. Alternatively, if it's already been done, I'd appreciate a pointer in that direction.
You may be interested in something I have been working on along the same lines [1]. I was more immediately concerned with implementing a notion of subcategories (so, restriction rather than extension), but I think it would be relatively simple to implement product categories on top of what I have. Type inference is not usually a problem with it, but there is some manual dictionary (proof) passing internally. [1]. https://github.com/ttuegel/recategorize Regards, Tom