[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
145: デフォルトの名無しさん [sage] 2019/02/15(金) 16:33:48.53 ID:iAmk1lDo xcodeで使えないのが致命的なんだよな・・ リンクはできるがUIがらみのコードは書けないわけで http://mevius.5ch.net/test/read.cgi/tech/1548720347/145
195: デフォルトの名無しさん [sage] 2019/02/23(土) 18:33:42.53 ID:RiBir1w3 >>194 C++は全く知らないのでそっちはなんとも http://mevius.5ch.net/test/read.cgi/tech/1548720347/195
205: デフォルトの名無しさん [sage] 2019/02/24(日) 01:39:36.53 ID:qI0VELUi >>200 do は (>>=) の糖衣構文 (=分かりやすく見やすくするための別記法) なので最終的にはモナドと (>>=) を理解するまではしっくりこない。 https://qiita.com/saltheads/items/6025f69ba10267bbe3ee http://mevius.5ch.net/test/read.cgi/tech/1548720347/205
211: デフォルトの名無しさん [sage] 2019/02/26(火) 21:57:34.53 ID:PosTOau2 to :: (b -> c -> a) -> ((b, c) -> a) from :: ((b, c) -> a) -> (b -> c -> a) http://mevius.5ch.net/test/read.cgi/tech/1548720347/211
260: デフォルトの名無しさん [sage] 2019/03/23(土) 11:59:26.53 ID:OxD1K8Qf コンピューターの制約で変えねばならないならば定義に問題がある 定義は可能な限り一般に適用可能でなければならない よって定義を変えればよい http://mevius.5ch.net/test/read.cgi/tech/1548720347/260
293: デフォルトの名無しさん [] 2019/03/26(火) 19:05:26.53 ID:8dCBuWSX Haskell知らんでも無意識に >>270 みたいな式を思い描いて for文とかに落とし込んでる感じじゃね？ n回繰り返すのが昇順か降順かの違いだけで。 Python def fib(n): temp = 0 a = 0 b = 1 for i in range(n): temp = a a = b b = b + temp return a for i in range(10 + 1): print(fib(i)) Haskell main = mapM_ (print.fib) [0..10] fib n = fib' n 0 1 where fib' 0 a _ = a fib' n a b = fib' (n - 1) b (b + a) http://mevius.5ch.net/test/read.cgi/tech/1548720347/293
308: デフォルトの名無しさん [sage] 2019/04/18(木) 23:50:53.53 ID:uUujkJat オライリー本の要約だけ？みたいな http://mevius.5ch.net/test/read.cgi/tech/1548720347/308
407: デフォルトの名無しさん [sage] 2019/07/24(水) 23:54:43.53 ID:/HKiGEdd 3件もこのスレで本の省略系がアレでワロタ 協調させて省略するとこうなる 凄いH楽しく学ぼう http://mevius.5ch.net/test/read.cgi/tech/1548720347/407
460: デフォルトの名無しさん [] 2019/08/29(木) 19:11:37.53 ID:CAV+1+Xc 本物の数学者はパソコン苦手な人も結構いる http://mevius.5ch.net/test/read.cgi/tech/1548720347/460
512: デフォルトの名無しさん [sage] 2019/10/08(火) 22:21:53.53 ID:nLwShu/0 やはりどんどん書かないとダメですよね… おかげさまで、本業とする言語でのコーディングには有意義なフィードバックができてはいるのですが そもそも GHC が吐き出すエラーメッセージがなぁ〜 http://mevius.5ch.net/test/read.cgi/tech/1548720347/512
632: デフォルトの名無しさん [] 2019/10/25(金) 08:07:43.53 ID:39WP6mHi >>631 モナドが実際の所どれぐらい便利なのかは分からないけど (m >>= f) >>= g == m >>= (\x -> f x >>= g) が言ってることは単純なんだよ >>=が普通の関数呼び出しのように使えるというだけ $(普通の関数呼び出しを演算子化したもの)の場合を考えれば分かりやすいかな g $ (f $ x) == (\y -> g $ (f $ y)) $ x 関数と値の引数が$と>>=では逆だから両辺が逆向きになってるけど 要するに二つの関数を一つの関数まとめても構わないという 誰もが当たり前にやってることの理論的基盤を>>=にも要請してるというだけなんだよ だから getLine >>= printFile と getLine >>= readFile >>= putStrLn が同じだと言うためにはこの結合律を満たさなきゃならない ちなみに二個以上の関数をまとめ上げる場合や多引数の場合もこれで証明できる http://mevius.5ch.net/test/read.cgi/tech/1548720347/632
633: デフォルトの名無しさん [sage] 2019/10/25(金) 08:33:13.53 ID:2bZjXkn1 >>632 モナドの条件が成立すると色々便利な事は認識している 端緒の認識はそれで問題ないと思ったけど 便利だよねって見解が >こんな糞みたいな主張をする人間が世の中にいることぐらいは分かっておくべきだった って言われて、え？え？何かマズイ理解なり認識があるのか?? 何がマズいのかワカラン??って感想 単純に罵倒してマウント取りたかっただけなら問題ない http://mevius.5ch.net/test/read.cgi/tech/1548720347/633
830: デフォルトの名無しさん [sage] 2019/12/07(土) 02:10:24.53 ID:nHnMq71L ライブラリーのソースコードをレビューしてるWebサイトってありますか？ この書き方は秀逸だとか、これは泥臭いとか バージョンアップでのコードの進化を追ったり 英語でも全く構わないのですが http://mevius.5ch.net/test/read.cgi/tech/1548720347/830
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.673s*