Questions tagged [type-systems]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
33
votes
3answers
2k views

Type classes vs object interfaces

I don't think I understand type classes. I'd read somewhere that thinking of type classes as "interfaces" (from OO) that a type implements is wrong and misleading. The problem is, I'm having a problem ...
14
votes
1answer
949 views

A mathematical (categorical) description of type classes

A functional language can be viewed as a category where its objects are types and morphisms functions between them. How do type classes fit in this model? I assume we should only consider those ...
10
votes
1answer
308 views

Is `sort` typeable on elementary affine logic?

The following λ-term, here in normal form: ...
7
votes
1answer
280 views

Fixed points in dependent type theories

Most dependent type theories aim for some notion of correctness in two respects: The type system must be decidable. The type system must be consistent. e.g. $\forall \tau. \tau$ should not be ...