Charity uses a type system and control constructs based on category theory, whereas Epigram uses dependent types.
Charity، از یک سیستم نوعی و ساختارهای کنترلی مبتنی بر تئوری گروهی استفاده می‌کند درحالیکه Epigram از نوع‌های وابسته استفاده می‌کند.