[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
2: デフォルトの名無しさん [ageteoff] 2019/01/29(火) 09:06:37.34 ID:gJP/u7IJ 過去スレ一覧 30) http://mevius.2ch.net/test/read.cgi/tech/1484491434/ 29) http://peace.2ch.net/test/read.cgi/tech/1436869629/ 28) http://peace.2ch.net/test/read.cgi/tech/1428535861/ 27) http://peace.2ch.net/test/read.cgi/tech/1420718555/ 26) http://peace.2ch.net/test/read.cgi/tech/1406436392/ 25) http://peace.2ch.net/test/read.cgi/tech/1393313450/ 24) http://toro.2ch.net/test/read.cgi/tech/1382705669/ 23) http://toro.2ch.net/test/read.cgi/tech/1376111807/ 22) http://toro.2ch.net/test/read.cgi/tech/1364009659/ 21) http://toro.2ch.net/test/read.cgi/tech/1358702176/ 20) http://toro.2ch.net/test/read.cgi/tech/1350428908/ 19) http://toro.2ch.net/test/read.cgi/tech/1340760070/ 18) http://toro.2ch.net/test/read.cgi/tech/1331902463/ 17) http://toro.2ch.net/test/read.cgi/tech/1325510368/ 16) http://toro.2ch.net/test/read.cgi/tech/1317958045/ 15) http://hibari.2ch.net/test/read.cgi/tech/1310199414/ 14) http://hibari.2ch.net/test/read.cgi/tech/1299385928/ 13) http://hibari.2ch.net/test/read.cgi/tech/1286706874/ 12) http://hibari.2ch.net/test/read.cgi/tech/1272536128/ 11) http://pc12.2ch.net/test/read.cgi/tech/1252382593/ 10) http://pc12.2ch.net/test/read.cgi/tech/1231861873/ 09) http://pc11.2ch.net/test/read.cgi/tech/1211010089/ 08) http://pc11.2ch.net/test/read.cgi/tech/1193743693/ 07) http://pc11.2ch.net/test/read.cgi/tech/1174211797/ 06) http://pc11.2ch.net/test/read.cgi/tech/1162902266/ 05) http://pc8.2ch.net/test/read.cgi/tech/1149263630/ 04) http://pc8.2ch.net/test/read.cgi/tech/1140717775/ 03) http://pc8.2ch.net/test/read.cgi/tech/1076418993/ 02) http://pc2.2ch.net/test/read.cgi/tech/1013846140/ 01) http://pc.2ch.net/tech/kako/996/996131288.html http://mevius.5ch.net/test/read.cgi/tech/1548720347/2
14: デフォルトの名無しさん [sage] 2019/02/03(日) 21:08:06.34 ID:RwDwNYzW >>13 >>11 が説明してくれたとおりなのだけど、納得できない？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/14
96: デフォルトの名無しさん [sage] 2019/02/03(日) 22:42:17.34 ID:DdA3Wm74 >>92 算数のテストで 3 * 2 * 1 * 1は？って問題に、 3 * 2 * 1 * 1 * fact(1-1)って答えるの？ それは算数でも数学でもプログラミング言語でも間違いだよ。 算数でも数学でもプログラミング言語でも答えは6だよ。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/96
220: デフォルトの名無しさん [sage] 2019/03/09(土) 10:30:48.34 ID:Vn/el/At 初心者を抜けた後、実践へ進みたいのなら幾つか勧められる本はある。 しかし、更なる勉強がしたいのなら、勧められる本はない。 初心者用か、初心者を抜けたばかりの者にはまだ難しい本しかない。 特に君の目的(競プロやAI)に叶う本は今のところ皆無だ。 なので、ネットを漁れ。 あと質問がやや曖昧で、何を求めているのか分からん。 数学の高速なライブラリの何を求めてる？ それを自作できる知識なのか？ 活用する知識なのか？ もしくは、仕組みが知りたい具体的なライブラリでもあるのか？ 圏論やモナドにしても然り。 それらの何が知りたいのか具体的に言ってみ。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/220
232: デフォルトの名無しさん [sage] 2019/03/14(木) 02:00:29.34 ID:pUnQtnNt >>231 すまん、instance 宣言に関数従属は無いよな。 改めて、 instance (Foo a) => Bar (Baz a) where この例だとどこが instance head なんだ？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/232
389: デフォルトの名無しさん [sage] 2019/06/08(土) 03:07:04.34 ID:PPvh7BCd Pythonのfalsyな値には、そんなに違和感はないけどなぁ……。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/389
419: ◆QZaw55cn4c [sage] 2019/08/17(土) 01:42:35.34 ID:ToRIVhzM 私は逆をお聞きしたいです haskell の知識って圏論を理解する助けになりますか？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/419
449: デフォルトの名無しさん [sage] 2019/08/26(月) 17:56:50.34 ID:H+o0BUvr >>448 Hoge { fuga =<< piyo } こんな感じがいいなあ レコードワイルドカードだと何してんのかぱっと見よくわからなくなるし アプリカティブスタイルで書くとフィールドの順番変わったりしたときそれに合わせなきゃいけないのがちょっとだけ嫌 http://mevius.5ch.net/test/read.cgi/tech/1548720347/449
500: デフォルトの名無しさん [sage] 2019/10/08(火) 16:25:57.34 ID:ELFSZFvj 同じことの繰り返しを書かなくて済むのが大きいかな。 例えばEitherとIOの組み合わせのモナドでハードとの通信を 書いた時，割り込みプロセスを考えなくてもLeftで返せば 後続コードを飛ばしてエラーを返せるし，コード量が減った だけ，ミスの発生率も低くなる。 これがモナドなしだとハードとの通信をするたびにエラー 確認コードをいれて例外処理やなんやかやをしないといけ なくなる。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/500
541: デフォルトの名無しさん [sage] 2019/10/13(日) 14:20:50.34 ID:8ABqNncq なにしてんの mylist n = [ [(m - 1) * n + 1 .. m * n] | m <- [1 .. n] ] とかじゃだめなの http://mevius.5ch.net/test/read.cgi/tech/1548720347/541
583: デフォルトの名無しさん [sage] 2019/10/19(土) 00:15:25.34 ID:0X24TT// >>580 モナドで副作用・副作用もどきを扱えるけど モナドの全てが副作用・副作用もどきを伴う わけではないでしょ。 リストもMaybeもEitherもモナドとして扱う 定義はされているが別にそれをつなげても 副作用があるわけでなし。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/583
589: デフォルトの名無しさん [sage] 2019/10/21(月) 12:39:15.34 ID:4Py1bsIM 中身は数学で明示されてるのでは http://mevius.5ch.net/test/read.cgi/tech/1548720347/589
624: デフォルトの名無しさん [sage] 2019/10/24(木) 09:09:56.34 ID:M5uvwdA8 >>618 浮動小数においては (a+b)+c != a+(b+c) なんだよ。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/624
721: デフォルトの名無しさん [sage] 2019/11/06(水) 22:36:34.34 ID:E2YfCG0n >>719 その手の話よく聞くけど なんで、こうも関数型は人気ないん？ F#も人気上は微妙だし http://mevius.5ch.net/test/read.cgi/tech/1548720347/721
739: デフォルトの名無しさん [sage] 2019/11/07(木) 12:41:20.34 ID:y+UtRegG モジュールがあるからカプセル化の恩恵は受けられるのでは http://mevius.5ch.net/test/read.cgi/tech/1548720347/739
763: デフォルトの名無しさん [sage] 2019/11/09(土) 18:32:42.34 ID:y5YvoXPL HKD(Higher Kinded Datatype)ってのはな おまえら例えばコマンドラインツールのオプションとかを扱うとき Options <$> ... <*> ... みたいにしてデータを返すアクションを構築してるだろうけどさ そこの ... 同士に共通性があるわけじゃん。 コマンド引数>環境変数>設定ファイルの優先順位で読み出されたりするじゃん。 でも各フェーズごとの処理をまとめるのはこのままじゃ難しいわけよ ところが方針を変えて、中身と外見がひっくり返ったような data Options_ f = Options _ { verbosity :: f Int, ...} を使うとエントリごとに Nothing にしたり出来るようになって、 Options_ を一般化したやつらが Generic 介しておんなじように舐められるから処理の共通化もできて、 値の合成もしやすく、コンパイラの warning でエントリの処理漏れを検知できて、いいよね。 このパワーアップしたデータみたいなもんを高カインド・データ(HKD)って呼ぶぞって話 http://mevius.5ch.net/test/read.cgi/tech/1548720347/763
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.047s