[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part7 (1001ﾚｽ)
関数型プログラミング言語Haskell Part7 http://echo.5ch.net/test/read.cgi/tech/1174211797/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
395: デフォルトの名無しさん [sage] 2007/06/02(土) 15:09:43 ありがとう。 つまり、 fix f = let x = f x in x は、 fix f = f $ f $ f $ f $ f $ f $ f $ ....(略。無限に続く) のこと。 fix f の値を得ようとすると無限ループ。 ただし、 残りの部分の評価が遅延されることによって、 fix f の値の一部だけは取り出せる（リストの前の方とか）。 fが(+1)とかだと部分も糞もないから即無限ループ。 って事でおｋ？ >>388で、「idなら」って書いたけど、idでも無限ループだよね？ http://echo.5ch.net/test/read.cgi/tech/1174211797/395
397: デフォルトの名無しさん [sage] 2007/06/02(土) 18:47:19 >>395 おｋ。 idでも無限ループ。 >一部だけは取り出せる 完全に取り出せることもある。fが(const 4)のときとか。 http://echo.5ch.net/test/read.cgi/tech/1174211797/397
421: デフォルトの名無しさん [sage] 2007/06/04(月) 02:26:12 >>395の fix ってYコンビネータ？ fix f = let x = f x in x と、 fix f = f $ fix f ってどう違う？ http://echo.5ch.net/test/read.cgi/tech/1174211797/421
422: デフォルトの名無しさん [sage] 2007/06/04(月) 02:47:30 >>421 >>>395の fix ってYコンビネータ？ Yコンビネータと同じ関数。再帰を使って定義しておいてコンビネータと呼んで良いのかは知らない。 >どう違う？ 結果は同じ。素朴な実装だと、前者ではfixの呼び出し一回につきfは 一回しか呼ばれないのに対し、後者では何回でも呼ばれ得る。例えば、 let xs = fix (1:) in xs !! (xs !! n) は、前者ではO(1)、後者ではO(n)の空間を使うはず。 http://echo.5ch.net/test/read.cgi/tech/1174211797/422
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s