パーサーコンビネーターっていうのはオブジェクトをぺこぺこ結合することで望みのパーサーを合成できるっていう、そういったたぐいのもの。 （Ｕ＾ω＾）わんわんお！ - @linerlockの日記 liner_lockさん作、Parseq 関数型言語ってこわい？C#erがLINQでパーサ…

Scala の implicit parameter は型クラスの一種とはどういうことなのか - 猫型の蓄音機は 1 分間に 45 回にゃあと鳴くのブックマークコメントに （続く記事も読みました）C#/Java的に言うと、型クラスは型制約なんですよね。とある型をとある型クラスのイン…

前回のエントリ「F# で高階型のエミュレーション - pocketberserkerの爆走」およびその記事で紹介されているhighjを参考にするとこんな感じになるだろうか。GitHub Gist前回のエントリだと、値クラスMaybe<T>は抽象クラスMonad<T>を継承していたが、この実装だとメ</t></t>…