On Sat, Jun 6, 2015 at 6:46 AM, Matt Oliveri <[email protected]> wrote: > On Sat, Jun 6, 2015 at 6:03 AM, Keean Schupke <[email protected]> wrote: >> Sorry, it was a terminology question. Would you call type - classes applied >> to dependent types value-classes? > > You mean type classes applied to values? If they're applied to > dependent types, well those are still types, so they should still be > called type classes. > > I don't know if dependent type systems let you apply something like > type classes to values. It would make sense if they did. I don't know > what that's called.
It looks like Coq's type classes allow parameters that aren't types. Yet they're still called type classes. :\ But come to think of it, I think some people call them "canonical structures". _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
