图灵完备语言

如果一门语言支持 if、goto 和 array 的概念，基本上就可以被称为图灵完备的语言了。

但是，具备这几个概念只是一门语言图灵完备的充分不必要条件。换句话说，即使不具备以上概念，一门语言依然可以使图灵完备的。

对于函数式编程语言来说，一面语言只需要具备把参数抽象成函数，以及把函数应用到参数上这两种能力就可以了，比如：Iota and Jot（https://en.wikipedia.org/wiki/Iota_and_Jot）

对于声明式编程语言来说，典型的代表是 SQL。