パーサー・コンビネータ

ABAの日誌さんで、C#でパーサーコンビネータという記事を見つけた。しかし、僕のUbuntu + Monoな環境では*1、Extension Methodsができないようで(?)と勘違いしていたので、Extension Methodsを使わない形で、書いてみた。

[追記]MonoでExtension Methods使えました。っていうか、「System.Coreアセンブリへの参照を加えよ」という親切なエラーメッセージが出ているのに、読まずに「あ、だめだ」と思ってしまっていたみたい。ごめん。[/追記]

*1:べつにマイクロソフトが嫌いとかそういうわけではない。たんに経済的事情。

型推論

プログラミング言語 Scala Wikiの型推論実習(?)を参考に、というかほとんど写経して、Haskellで型推論プログラムを書いてみた。