[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
関数型プログラミング言語Haskell Part33 http://mevius.5ch.net/test/read.cgi/tech/1581326256/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
417: デフォルトの名無しさん [] 2020/08/22(土) 13:35:02.20 ID:j3K8XBr1 >>402 あれ、これ今日コンパイルしたらエラーが出た。 単にコンパイルしていなくて、ghciで用意されている(.)を使ってテストしていただけみたいです。 以下の合成関数のコードはおそらく正しいと思います。 comp :: (b -> c) -> (a -> b) -> a -> c comp = \f -> \g -> (\x -> f (g x)) http://mevius.5ch.net/test/read.cgi/tech/1581326256/417
418: デフォルトの名無しさん [] 2020/08/22(土) 13:36:18.12 ID:j3K8XBr1 圏論入門 Haskellで計算する具体例から (日本語) 単行本 ? 2020/8/19 雪田 修一 (著) この超人気の本を読んだ人いますか？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/418
419: デフォルトの名無しさん [] 2020/08/22(土) 13:41:29.64 ID:j3K8XBr1 >>417 この関数の書き方を一度書いたら、 func a b = … みたいな書き方は気持ち悪くて嫌になりますね。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/419
420: デフォルトの名無しさん [] 2020/08/22(土) 13:45:41.47 ID:j3K8XBr1 すごいHaskell、やっと5章まで読み終わりました。 この辺りから難しくなりますか？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/420
422: デフォルトの名無しさん [] 2020/08/22(土) 21:45:32.55 ID:j3K8XBr1 すごいHaskellの6章を読んでいますが、いきなり難しくなりました。 find :: (a -> Bool) -> [a] -> Maybe a のMaybe aというのは探している要素が見つからなかった場合に返されるNothingが属するような型を用意したかったからですか？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/422
423: デフォルトの名無しさん [] 2020/08/22(土) 21:46:48.62 ID:j3K8XBr1 もしそうだとして、質問なんですが、Nothingはあらゆる型に属すると約束すればいいだけの話ではないんですか？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/423
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s