[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
1: デフォルトの名無しさん [ageteoff] 2019/01/29(火) 09:05:47.90 ID:gJP/u7IJ 関数型プログラミング言語 Haskell について語るスレです。 haskell.org (公式サイト) https://www.haskell.org/ 日本Haskellユーザーグループ https://haskell.jp/ 前スレ 関数型プログラミング言語Haskell Part31 https://mevius.5ch.net/test/read.cgi/tech/1506447188/ http://mevius.5ch.net/test/read.cgi/tech/1548720347/1
56: ◆QZaw55cn4c [sage] 2019/02/03(日) 21:52:52.90 ID:t4xt++Qj >>50 ＞この記述だと無限に *1が続くわけだから あなたの理解になにが足りないのかがわかるような気がしてきました。 「fact の引数が 1 である」と「fact の求値が 1 である」とを区別していないようですね この二つは厳然として異なります fact 0 = 1 は、fact(0) の「求値が」1 である、といっているのです fact n = n * fact (n - 1) は、たとえば fact 8 = 8 * fact 7 fact 7 = 7 * fact 6 fact 6 = 6 * fact 5 fact 5 = 5 * fact 4 fact 4 = 4 * fact 3 fact 3 = 3 * fact 2 fact 2 = 2 * fact 1 という記述を纏めて表現しているのであり、これは fact n の「求値」は fact (n - 1) という、もともとの引数 n とは違う n - 1 という引数を使った fact の求値で定義しているのです http://mevius.5ch.net/test/read.cgi/tech/1548720347/56
66: デフォルトの名無しさん [sage] 2019/02/03(日) 22:06:24.90 ID:5bolWXfM >>65 いやただのカウンターだったとしても止まらないし やっぱりおかしいとは思う 何か前提がありそうな気はする http://mevius.5ch.net/test/read.cgi/tech/1548720347/66
178: デフォルトの名無しさん [sage] 2019/02/23(土) 06:50:54.90 ID:T/+XuHA6 考え方を変えるのが関数型を学ぶ一番の目的だと思うけど、 合わないなら関数型あきらめればいいじゃん。 うちは論理型言語に全く馴染めなくて、それに時間使うのやめた。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/178
289: ◆QZaw55cn4c [sage] 2019/03/25(月) 22:53:06.90 ID:/j2VHiDc >>284 ＞末尾再帰のfib fib が末尾再帰でかけますか？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/289
358: デフォルトの名無しさん [sage] 2019/05/23(木) 18:42:06.90 ID:ATxGBnNk 次にお前らは『優れているを定義してくれ』と言うｯ！ http://mevius.5ch.net/test/read.cgi/tech/1548720347/358
452: デフォルトの名無しさん [sage] 2019/08/26(月) 20:58:49.90 ID:JCuV3Nd8 ifはアプリカティブを使ってはいけない例か 意図的に書いてるなら頭いいな http://mevius.5ch.net/test/read.cgi/tech/1548720347/452
492: デフォルトの名無しさん [sage] 2019/09/26(木) 20:24:22.90 ID:iXd9J4xZ >>491 rigid=skolemだよ 昔skolemとだけ表示されてたんだが、それじゃ分かりにくいというissueが立ってrigidが併記されるようになったらしい 俺もあれがなんなのか知りたい 俺としてはexists a. aみたいな型のことじゃないかと思ってるんだけどよくわからん わかったら教えて http://mevius.5ch.net/test/read.cgi/tech/1548720347/492
560: デフォルトの名無しさん [sage] 2019/10/17(木) 09:27:30.90 ID:PVi4YySF では説明お願いします http://mevius.5ch.net/test/read.cgi/tech/1548720347/560
792: デフォルトの名無しさん [sage] 2019/11/18(月) 19:55:00.90 ID:6QIkNIz7 どこが嫌いかより、どこが好きかで言語を語れよ！ http://mevius.5ch.net/test/read.cgi/tech/1548720347/792
800: デフォルトの名無しさん [sage] 2019/11/21(木) 20:19:49.90 ID:BfqobOk+ apiサーバー実装としてhaskell結構いけるという話が出てるな。 ちと興味出てきた。 モナドガーとかずっと言ってるバカしかいないのかと思ってたがそうでもないようだ。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/800
812: デフォルトの名無しさん [sage] 2019/11/29(金) 13:42:47.90 ID:KypBmx9c >>811 よく考えたら、IOモナドではないので、O(1)で参照できる配列構造を作れるわけないですね。 質問は無かったことにしてください。 くだらないことでスレを汚してしまい、すいませんでした。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/812
922: デフォルトの名無しさん [sage] 2020/01/01(水) 11:24:31.90 ID:msO/HyKq >>921 いいでしょw 新年なんだし http://mevius.5ch.net/test/read.cgi/tech/1548720347/922
959: デフォルトの名無しさん [] 2020/01/21(火) 08:51:19.90 ID:lxIBo8y+ 数式の末尾再帰なfib関数を見た時、手続き型言語で書く副作用バリバリのfib関数との共通点が見えた。 (過去どこかに本の中身の画像落としたんだが、まだあるかは知らん) そこで一つの仮説が浮かんだ。 入出力を伴わない関数であれば、副作用のある関数でも正しく動く関数は数式と相互に変換出来るのでは？ (入出力も含めるなら、相互にHaskellと変換出来る？逆に、バグがあるなら相互変換は無理？) 数学専門じゃないから、証明とか出来ないけども。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/959
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s