言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2007-09-06から1日間の記事一覧

スタック言語 Joy と、Arrow と圏論の関係についての素描

大島さんに、Arrow でスタック言語が書けたところで Arrow がスタック言語であるとは言えないのでは無いかとの指摘を受けたので考えを書き散らかす。ここで、スタック言語とは、 構成要素が全てコンビネータ(外部変数を含まない関数)である。 例えば Haskell…