見せたくない、見たくない物を隠蔽してしまうという点で、マクロとモナドには共通点が見られる。どちらも利用するだけの立場で、読み書きデバッグはせずに済ませたい、という点でも共通している。

Parsecを別の言語に移植できないか、考えてみた。しばらく研究をサボって考えてみた結果、Parsecの本質は>>=と、tryあたりにあると見た。Schemeで書くことを考えると、tryはまぁいい。も比較的簡単に書ける。しかし、>>=は書き難い。>>=をdo記法で書き直す事…