結局、 let (^$) f x = f x let (<$) f x = f xとかしてます。 Printf.printf "Typing.solve: eq => %s=%s\n" (Type.to_string (fst eq)) (Type.to_string (snd eq));を Printf.printf "Typing.solve: eq => %s=%s\n" <$ Type.to_string ^$ fst eq <$ Type.t…

過去に自分が書いたコードでも、すぐにわからなくなってしまうもんですね。頭が悪いのか。そういうときに役に立つのが「テスト」。良く言われてることですが、ほんとにこれ重要ですわ。もっとも、問題が複雑になると、うまくテストを書くのは(確認の意味でも…

このデザインとは相性が悪いみたい…あとで考えよう。

http://www.jmuk.org/d/?path=2005/11/11#d11t04がーん…左結合してしまうからいまいち面白くないことは、気づいていたのですが、Camlp4のキーワードだったとは。左結合でも、 # Printf.printf "%d %s" $ int_of_string "10" $ string_of_int 100;;とか書ける…