In total functional programming languages, such as Charity and Epigram, all functions are total and must terminate.
У комплетно функционалном програмирању програмских језика, као што су Charity и Epigram, све функције су укупне и морају се прекинути.