本当にどうでも良い話だが、かっこいいトレースが出来たのでコピペ。Joy のようですでに Joy で無くなりつつある自作言語の意味ツリーを S 式のような記法で出力してゆく様子。y:= はセッター、:y はゲッターでこの部分で Smalltalk と通信します。ツリーの…

import Control.Arrow -- 普通に functionExp = 3 + 4 -- do 記法と IO モナドを使う。わざと同じ変数名を使ってみた。 monadExp1 = do x <- return 3 y <- return 4 x <- return (x + y) print x -- 普通のモナド記法。Joy 記法 (3 4 +) に似ている！ monad…