Untyped Note
T. Watanabe
“ストリームを使ったプログラミングはHaskellでもよくあるし、モジュール性を向上させるというのもどこかで読んだけど、実際に目の当たりにするととても面白い。そしてストリームで書いたことによるプログラムの独立性が証明の簡潔さにつながっている(たぶん)のはとても興味深い。”
—
無限ストリームで幅優先探索 - keigoiの日記
(via
pirapira
)
(
pirapira
から)
2:34 am
|
12月 23 2011
|
1リアクション
wtakuo
が
pirapira
からリブログしました
pirapira
の投稿です