エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
Langphilia! / KL1, 2002-07-07 けいえるわん 2002-07-07, klex, GNU autoconf, automake, flex を使っ... Langphilia! / KL1, 2002-07-07 けいえるわん 2002-07-07, klex, GNU autoconf, automake, flex を使ってみる 2001-11-18, KLIC-3.003, parallel implementation of KL1. Tips / OOP Distributed KL1 DKLIC KL1は、Flat GHCを基に、データ型、モジュール、プラグマの 拡張を行った実用的なプログラミング言語である。 GHCは最も単純な並行論理言語の一つであり、 Flat GHCはガードに組み込み述語のみ呼び出しを許す、GHCの部分集合である。 さらに、変数に入出力の方向を与えるとModedと言われ、 Moded Flat GHCとなる。 分散KL1を含むKL1の拡張は、GHCのセマンティクスを変えないように行われるため、 プログラムの