http://mailman.science.ru.nl/pipermail/clean-list/2007/003528.html の件をすっかり忘れていた。

shelarcyさんにMonadFixについて教えてもらう。 http://www.kotha.net/ghc_users_guide_ja/syntax-extns.html 一意型で同じような概念は有用だろうか？ とりあえず、一意型と組み合わせて使うことが多いlet before構文では、再帰的な束縛はできない。 しかし…

関数呼び出しとかスタック操作とかの実装が進んで、はたと考える。 InstFuncの処理をどのように実装しよう？ 今の実装では、後方参照せずに効率のよいコードを吐くことが可能な構成になっていないのでは？ - もう少し進んだ。 InstFuncの形式をコードとして…

http://www.sampou.org/haskell/tutorial-j/patterns.html Cleanにはない。アズパターンとよく似た =: は、可反駁だ。 Start = ptn [] ptn ls=:[a:aa] = 1 は失敗する。