双対定理 - mrsekut-p

双対定理

foldlとfoldrの間に成り立つ定理

code:hs

foldr f a xs == foldr (flip f) a (reverse xs)

http://algobit.jp/odw/?p=862

https://xtech.nikkei.com/it/article/COLUMN/20091009/338681/?P=3

『Haskellによる関数プログラミングの思考法』に書いているらしい

現物を見ていないので、何に対して定理と言っているのかわかっていないmrsekut.icon

ぐぐったら「第2双対定理」とかも出てくる

何が第1なのかわかっていないmrsekut.icon

何個双対定理があるのかもわかっていないmrsekut.icon