[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)

関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

81: デフォルトの名無しさん [sage] 2019/02/03(日) 22:26:23.52 ID:5bolWXfM >>78 それは終了条件じゃないよね 何が正解なのかさらに混乱して来た http://mevius.5ch.net/test/read.cgi/tech/1548720347/81

164: デフォルトの名無しさん [sage] 2019/02/20(水) 11:35:48.52 ID:FaK+gznk 再帰を含む関数がインライン展開されることを 期待するほうが間違いだったか... http://mevius.5ch.net/test/read.cgi/tech/1548720347/164

175: デフォルトの名無しさん [sage] 2019/02/23(土) 00:41:48.52 ID:RiBir1w3 カリー化関数の意図がわからん sum_of :: (Integer -> Integer, Integer, Integer) -> Integer sum_of (f, n, m) | n > m = 0 | otherwise = f n + sum_of (f, n + 1, m) これはわかる sum_of' :: (Integer -> Integer) -> Integer -> Integer -> Integer sum_of' f n m | n > m = 0 | otherwise = f n + sum_of' f (n + 1) m どう見ても書き換えただけにしか見えないんだけどこれ意味あって書いてるのかな カリー化って引数可変で動作する関数を定義するためのものって理解したけど 後者にはそんな意図が含まれてるように見えない http://mevius.5ch.net/test/read.cgi/tech/1548720347/175

200: デフォルトの名無しさん [sage] 2019/02/23(土) 21:08:00.52 ID:RiBir1w3 do構文がIO型だからこのように書ける・・というのがどうもしっくりこないけど 都合上こうするしかなかったってだけの話で特別な意味はないのかな calc :: IO () calc = do putStr "Input Integer1 > " x <- readLn :: IO Integer putStr "Input Integer2 > " y <- readLn :: IO Integer let a = x + y b = x - y c = x * y d = x `div` y n1 = show x n2 = show y putStrLn (n1 ++ "+" ++ n2 ++ "=" ++ show a) putStrLn (n1 ++ "-" ++ n2 ++ "=" ++ show b) putStrLn (n1 ++ "*" ++ n2 ++ "=" ++ show c) putStrLn (n1 ++ "/" ++ n2 ++ "=" ++ show d) http://mevius.5ch.net/test/read.cgi/tech/1548720347/200

209: デフォルトの名無しさん [sage] 2019/02/25(月) 21:33:28.52 ID:jyEH5AtM 趣味でやってるが Threepenny 使ってる 簡単に組み合わせられるようになるかなと Elm も学習中 http://mevius.5ch.net/test/read.cgi/tech/1548720347/209

377: デフォルトの名無しさん [sage] 2019/05/25(土) 21:58:16.52 ID:1pSM7n1N >>374 まあ確かに数値計算するときにfromIntegralだのrealToFracだのをゴテゴテ書くのは (それを要求される理屈はわかっていても)面倒くさい そこを「柔軟」にしていくと人が書き間違えたときに教えてくれなくなるから 結局は書きやすさと安全性とのトレードオフだよなあ http://mevius.5ch.net/test/read.cgi/tech/1548720347/377

466: デフォルトの名無しさん [] 2019/09/01(日) 00:15:49.52 ID:3Spoi/4/ >>418 副作用の有る関数を、副作用の無い関数と同一視する仕組み(IOモナド)の論理的背景とかは理解出来るけど、理解出来なくても使えるしなぁ。。。 >>419 プログラマーが圏論理解するには手助けになるけど、それ以外の人には返って邪魔かも。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/466

553: デフォルトの名無しさん [sage] 2019/10/16(水) 23:44:14.52 ID:5hxXU1b8 そう思ってでもまだこちらをのぞいているってことは かなり気に入る・気になる部分もあったんだよね。 どんなところがよかったの？あるいは気になったの？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/553

554: デフォルトの名無しさん [] 2019/10/17(木) 03:04:05.52 ID:Xwvn1Enx CSで使われる用語って何かのめたふぁか知らんけど 無理に数学に合わせて造語っててかえって判り難さが増すというね http://mevius.5ch.net/test/read.cgi/tech/1548720347/554

630: デフォルトの名無しさん [sage] 2019/10/24(木) 20:22:28.52 ID:y9mzZKfZ 単位元を語ってもええんやで http://mevius.5ch.net/test/read.cgi/tech/1548720347/630

631: デフォルトの名無しさん [sage] 2019/10/25(金) 04:29:07.52 ID:2bZjXkn1 >>629 前提として「足し算の結合律って便利だね」 じゃ足りないの 何が不足なのかな 副作用をモナドの結合連鎖外に及ぼさない事による恩恵が主目的じゃないの？ とくにマルチスレッドコア環境だと色々有難いよね モナド連鎖の組み合わせとか組み替えとかがスカッとできてイイ！とか 連鎖の中で起きたエラーのリカバリーとかはよくわからん http://mevius.5ch.net/test/read.cgi/tech/1548720347/631

709: デフォルトの名無しさん [sage] 2019/11/05(火) 20:58:36.52 ID:CZEUqG6i ええやん http://mevius.5ch.net/test/read.cgi/tech/1548720347/709

906: デフォルトの名無しさん [sage] 2019/12/30(月) 10:41:43.52 ID:0IC+e4Ro 工学と名のついた無根拠な宗教が蔓延ってる言語よりは科学してるだけマシ http://mevius.5ch.net/test/read.cgi/tech/1548720347/906

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.049s