関連タグで絞り込む (1)
YCombinator
Haskell不動点関数 f :: a -> a に対して、f x == x となる x を「関数 f の不動点」という。もし、関数 f を入力として取り、関数 f の不動点を返す関数 Y があるとすれば、Y f は関数 f の不動点である。ここで、Y の型を調べる。引数 f の型は a -> a、Y は... 続きを読む d:id:kazu-yamamoto テクノロジー
Haskell不動点関数 f :: a -> a に対して、f x == x となる x を「関数 f の不動点」という。もし、関数 f を入力として取り、関数 f の不動点を返す関数 Y があるとすれば、Y f は関数 f の不動点である。ここで、Y の型を調べる。引数 f の型は a -> a、Y は... 続きを読む
Yコンビネータのまとめ - あどけない話
16 users
すべて表示
