y使用类型系统和基于范畴论的控制流程，而Epigram使用依赖类型。 LOOP语言的设计使其仅计算原始递归函数。 所有这些都计算总可计算函数的正确子集，因为总的总可计算函数集不可计算。 同样，由于这些语言的所有功能都是合计的，因此与图灵机相比，用于递归可枚举集合的算法无法用这些语言编写。尽管无类型λ演算是图灵完备的，但简单类型λ演算不是。
数据语言.XML，HTML，JSON，和YAML不符合图灵完备性，因为他们通常用来表示结构化数据而不描述计算。这些语言有时被称为标记语言，或