Qi

Qi きゅうあい コンピュータ

Lispベースの関数型プログラミング言語。パターンマッチ、λ計算、好きなときに使える静的型検査が特徴。sequent calculusによる型定義ができるので、MLHaskellすら凌駕する最強の型システムだと豪語している。GPLだが、商用利用ライセンスも用意している。

このキーワードを共有する

はてなダイアリーに投稿 このエントリーをはてなブックマークに追加

リンクスコア: 25

このキーワードを含むブログ RSSフィード

2013年05月22日 18時35分 現在