目次:
定義-Qiの意味？
Qiは、数学的な評価と数学的な方程式と関数のプログラミングに適した関数型プログラミング言語です。 Qiには、パターンマッチング、ラムダ計算の一貫性、静的型チェック、オプションの遅延評価の利点があります。
QiはCommon Lispで書かれており、あらゆるマシンで実行できる効率的なタイプの安全なプログラムを生成します。 Dr. Mark Tarverによって開発され、2005年にGPLで最初にリリースされましたが、これは商用アプリケーションには適さないと判断されました。 Qi IIは、2つの専有ライセンスの下で利用可能になります。1つはクローズドソースの専有ソフトウェアの開発用で、もう1つは教育用および個人用です。
TechopediaはQiについて説明します
Qiは2005年4月に最初にリリースされました。Qiはシーケント計算の論理表記を使用して型を定義し、Qiの解釈では、この型表記はチューリング完全言語と見なすことができます。 この表記により、Qiは拡張可能な型システムをCommon Lispライブラリに割り当てることができます。これは、この言語の非常に強力な機能です。
L21プロジェクトは、21世紀のコンピューティングの絶えず変化するニーズに対応できるように、Lispを近代化することを目的としていました。 したがって、名前。 Lispがより広く採用されることを妨げるいくつかの課題を抱えていたため、プロジェクトが開始されました。 Tarver博士は、これらの課題を、特にCommon Lispにはパターンマッチングの欠如、手続き上の汚染、ラムダ計算に関する不整合、静的型付けの欠如があると特定しました。
