nGL扩展名中的像素着色器语言的某些早期版本。在如Charity和Epigram之类的总函数式编程语言中，所有功能都是总的，必须终止。 Charity使用类型系统和基于范畴论的控制流程，而Epigram使用依赖类型。 LOOP语言的设计使其仅计算原始递归函数。 所有这些都计算总可计算函数的正确子集，因为总的总可计算函数集不可计算。 同样，由于这些语言的所有功能都是合计的，因此与图灵机相比，用于递归可枚举集合的算法无法用这些语言编写。尽管无类型λ演算是图灵完备的，但简单类型λ演算不是。Sectio