パーサコンビネータなんかでよく使う、 some と many という関数があります。それぞれ引数を１回以上/０回以上実行して結果のリストを返す関数で、これの単純な定義は some v = (:) <$> v <*> many v many v = some v <|> pure [] となります。 some は v : …

我が家では時々、「怪人たる資格」の話が始まる。 仮面ライダーの登場人物には、怪人かどうか判断が難しいキャラクターがいる。仮面ライダー1号は、ショッカーによって生み出された改造人間だ。 もっと直接的に、怪人への変身能力を持つ者もいる。例えばオー…