2007-12-07から1日間の記事一覧

追記:syntax sugarでやっつけてしまう方法

やっぱ分けて書くのは面倒、というか、i/fの整合性を取るのが面倒だ、という考えに傾き勝ちな俺は、プログラミング言語の文法で解決しちゃえという気持ちになる。 staticとかstrictとかでプロセス(スレッド)を定義して、その中は参照透明性を保障する、と…

メッセージパッシングによって、参照透明性のあるプログラミング言語で実装されたthreadを呼び出す

どこぞで読んだ「Rubyの中にHaskellのコード片を埋め込む」にinspireされて考えた。 デバッグや、入出力を、OS寄りの言語で処理して、参照透明性のある言語で、アルゴリズムの本体を実装し、JITのコンパイラ(とスクリプトのキャッシュ)を効かせれば、結…