Charity uses a type system and control constructs based on category theory, whereas Epigram uses dependent types.
Charity користи тип система и контроле конструкције засноване на теорији категорије, док Епиграм користи зависне врсте.