タグ

GHCに関するr-westのブックマーク (1)

  • C++で論理型言語コンパイラを書いてみる

    C++ で、論理型言語(GHC)コンパイラを書く 論理型言語コンパイラを作る理由 基ポリシー: いろいろ諦める GHC の基 実装関連 C++ を使う理由 論理変数を実装する ゴールのコンパイル ゴールキューと疑似マルチタスク 疑似マルチタスクから当のマルチタスクへ 最適化 ガベージコレクション Boehm GC を C++ で使うための調査 ガベージコレクションの実装 JavaScript で GHC [JavaScript] 8-queen [JavaScript] Canvas を使った描画 [JavaScript] 組み込み述語の書き方 (メモ) KLIC との比較 GraphViz と GHC オブジェクト構造の可視化(案) GraphViz によるグラフィカルデバッグ GHC プログラミング 入出力と順序制御 竹内関数と遅延評価 [JavaScript] wait/1 と

    r-west
    r-west 2009/12/08
    まさかの新GHC処理系。JavaScriptも吐ける!せっかくなんだから「並行」論理型ってのを強調してもいいような…。
  • 1