Qi

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

rubikitch 編集
注目の求人情報
言及数のトレンド
言及数のトレンドグラフ
  • 今週の言及数: 16件(7,955位)
  • 今週のPV:22(40,680位)
グラフで詳しく見る
目次
注目キーワード
もっと見る

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

関連キーワード

λ計算OCaml関数プログラミングプログラミング言語高階関数関数型言語

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

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

このキーワードのリンク

このキーワードを検索

リンクスコア： 25

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

このキーワードについてブログを書く
2013年05月22日 18時35分 現在
「Qi」を含むブログをもっと読む

このキーワードを含むキーワード (9)

あ イスラム・マグレブ諸国のアルカイダ, イスラム聖戦士血盟団, AQIM
か 気功
さ 説教と戦闘の為のサラフィー主義者集団, スー・チー
た 羌族
な Nexus 4
ま モフタール・ベルモフタール