Tatsuya Hirose

@lotz

実用関数型プログラミング言語 Haskell についての情報を Qiita から発信しています
FOLIO Co., Ltd.FOLIO
Tokyo, Japan
Organizations
Following Tags1
Following Users39
@xuwei_k おっしゃる通りですね。解を複数計算するには返り値を多値にすれば良さそうと思い、単純にSelectT type SelectT r m a = ((a -> m r) -> m a) でリストと組み合わせて計算してみましたがうまくは行きませんでした…
@erutuf13 さん、鋭いご指摘ありがとうございます! おっしゃるとおりMonoidのインスタンスであることを確かめるだけではFM aが自由モノイドであることを主張するのは不十分でした。こちらは…