什么是气？ -技术百科的定义

定义-Qi是什么意思？

Qi是一种功能编程语言，非常适合数学评估以及数学方程式和函数的编程。 Qi具有模式匹配，lambda演算一致性，静态类型检查和可选的惰性求值的优点。

Qi用Common Lisp编写，生成可在任何计算机上运行的高效类型的安全程序。 它由Mark Tarver博士开发，并于2005年根据GPL首次发布，但被认为不适用于商业应用。 Qi II拥有两个专有许可：一个用于开发封闭源代码，专有软件，另一个用于教育和个人使用。

技术百科解释齐

Qi于2005年4月首次发布。Qi使用顺序演算的逻辑符号定义类型，并且在Qi的解释下，这种类型符号可以视为图灵完整语言。 通过这种表示法，Qi可以将可扩展类型系统分配给Common Lisp库，这是该语言的强大功能。

L21项目旨在对Lisp进行现代化改造，使其能够适应21世纪不断变化的计算需求。 由此得名。 该项目之所以启动，是因为Lisp面临一些挑战，阻碍了其广泛采用。 Tarver博士特别指出了这些挑战，因为常见的Lisps缺少模式匹配，程序污染，lambda演算方面的不一致以及静态类型不足。