kakkun61 https://blog.hatena.ne.jp/kakkun61/ 趣味はデバッグ…… https://kakkun61.hatenablog.com/ Haskell 今回は case analysis と呼ばれる関数の話です1。 data D a b c = C0 a b | C1 c 例えば上記のようなデータ型があった場合 case analysis 関数は次のようになります。 d :: (a -> b -> d) -> (c -> d) -> D a b c -> d d f _ (C0 a b) = f a b d _ f (C1 c) = f c 値構築子の数だけ関数を引数とし、対象のデータを最後の引数とします。それぞれの関数の型は値構築子の型に似ます。 C0 :: a -> b -> D a b c C1 :: c -> D a b c d ::… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkakkun61.hatenablog.com%2Fentry%2F2021%2F01%2F06%2FCase_Analysis_%25E9%2596%25A2%25E6%2595%25B0" title="Case Analysis 関数 - 趣味はデバッグ……" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-01-06 06:30:09 rich https://kakkun61.hatenablog.com/entry/2021/01/06/Case_Analysis_%E9%96%A2%E6%95%B0 1.0 100%