関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
548: デフォルトの名無しさん [sage] 2024/10/08(火) 23:08:48.38 ID:Fz/Eetv9 こんなんだけど >通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない. >また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない. http://mevius.5ch.net/test/read.cgi/tech/1639713446/548
549: デフォルトの名無しさん [] 2024/10/09(水) 00:11:45.00 ID:NBQjGpZO O'CAMLのCAMLはCategorical Abstract Machine Languageの略ということを忘れてはかわいそう。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/549
550: デフォルトの名無しさん [] 2024/10/09(水) 20:31:07.90 ID:UpCIlB6y >>546 Thenks！！ http://mevius.5ch.net/test/read.cgi/tech/1639713446/550
551: デフォルトの名無しさん [sage] 2024/10/12(土) 20:07:00.42 ID:fyUcodga 初心者はStack、ガチムチはCabalで開発するんですか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/551
552: デフォルトの名無しさん [sage] 2024/10/15(火) 05:30:10.38 ID:CzVFQLgH みんなStackだよ Cabalの依存関係解決はましになったとはいえプロジェクト構成の記述はStackのほうがよくできてるし http://mevius.5ch.net/test/read.cgi/tech/1639713446/552
553: デフォルトの名無しさん [] 2024/10/15(火) 22:34:15.38 ID:2I09ehic 詳しい情報サンクス CabalやめてStackに帰ります GHCup tuiで選べるCabalやHLSやStackも全部recommendedに落とします http://mevius.5ch.net/test/read.cgi/tech/1639713446/553
554: デフォルトの名無しさん [sage] 2024/10/16(水) 05:04:51.74 ID:PvdZsye3 ああCabal辞めてStackに移行したらビルドし直しただけでTLSのハンドシェイクがTwitchでは大丈夫なのにツイキャスで失敗する謎の不具合が治りました やっぱStackすわ http://mevius.5ch.net/test/read.cgi/tech/1639713446/554
555: デフォルトの名無しさん [sage] 2024/10/18(金) 18:33:56.50 ID:358zSdqs 別に不具合あったわけじゃないならよくね みんなとか言い出したらそもそもみんなhaskellなんか使ってないが http://mevius.5ch.net/test/read.cgi/tech/1639713446/555
556: デフォルトの名無しさん [] 2024/10/25(金) 23:46:50.40 ID:jl3K3ThU Haskellを学んだみたいと思うんだけど、「すごいHaskell たのしく学ぼう」って書籍は今でも有用？ Haskellの良書として挙げることは多いと思うけど、出版から10年以上経ってるのが気になった その間で言語に大きな変更があったとか、「今のHaskellだったらこう書くよね」みたいな注意が必要な点などあれば知りたい あるいは最近の書籍でよりおすすめというものでも http://mevius.5ch.net/test/read.cgi/tech/1639713446/556
557: 警備員[Lv.3][新芽] [sage] 2024/10/25(金) 23:58:48.00 ID:ss1i659U ちょっと古い情報だけど、 僕が「すごいH」を購入したのが2016.12だけど、数年後には章立ての変更まではなかったかもしれないけど、コードの記述など結構アップデートされてたような いずれにしても、一冊でHaskellを、ってのはアレで、何冊かは読まないとと僕の場合 http://mevius.5ch.net/test/read.cgi/tech/1639713446/557
558: デフォルトの名無しさん [sage] 2024/10/26(土) 01:14:59.65 ID:jaMDzNJq >>556 ラムダノートのプログラミングHaskell第2版 これを読めばモナドの使い方がわかる http://mevius.5ch.net/test/read.cgi/tech/1639713446/558
559: デフォルトの名無しさん [] 2024/10/26(土) 13:33:26.33 ID:qze4GRwI モナドはCのポインタより概念が難しいのどうにかならんの 別のはないんですか http://mevius.5ch.net/test/read.cgi/tech/1639713446/559
560: デフォルトの名無しさん [sage] 2024/10/26(土) 14:33:50.42 ID:jaMDzNJq ない 別に理論的な部分はすっ飛ばしていいよ 純粋関数型言語で手続き型言語のようなシーケンスをどうやったら書けるか？みたいなパズルを解く方法と思ってればいい 全てはdo記法にため http://mevius.5ch.net/test/read.cgi/tech/1639713446/560
561: デフォルトの名無しさん [] 2024/10/26(土) 18:20:45.25 ID:QG40CL6R >>559 だったらCleanはどうでせう？ モナドの代わりに線形何たらっての使ってる。 副作用関数を使い捨て関数と捉える概念らしいけど…。 変数は引数のない関数と捉えられるので、入力関数も外部で代入する変数と捉えられる。 んで、 return 0 >>= \x -> return (x + 1) >>= \x -> return (x + 1) = 2 は return 0 >>= (\x -> return (x + 1) >>= (\x -> return (x + 1))) と解釈されて、(\x -> ...) 部分が１個のラムダ式（関数）の上に階層構造なので、同名の変数 x はシャドーイングで古い値は隠される。 （そして隠されたら他から参照されなくなるのでGCでメモリを解放される） IOモナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/561
562: デフォルトの名無しさん [] 2024/10/28(月) 07:23:18.71 ID:duvMwVsG >>557 >>558 ありがとう まずはラムダノートのプログラミングHaskellを買いました すごいH本はもう一冊読もうと思って時に買います http://mevius.5ch.net/test/read.cgi/tech/1639713446/562
563: デフォルトの名無しさん [sage] 2024/10/28(月) 11:18:21.59 ID:ABlPDVd9 すごいエロい本か http://mevius.5ch.net/test/read.cgi/tech/1639713446/563
564: デフォルトの名無しさん [sage] 2024/10/28(月) 16:01:27.57 ID:3PX2guVI >>563 それ面白いと思ってレスしてんの? http://mevius.5ch.net/test/read.cgi/tech/1639713446/564
565: デフォルトの名無しさん [sage] 2024/10/28(月) 17:13:55.02 ID:B1OBTGXf 10年前のtwitterでは鉄板ジョークでしたよ すごいH http://mevius.5ch.net/test/read.cgi/tech/1639713446/565
566: デフォルトの名無しさん [sage] 2024/10/28(月) 19:07:28.37 ID:aKxYxFxQ haskell知らない人はエロ本だと思うし 隠れた卑猥な意味が無ければ 隠語としての価値も無い http://mevius.5ch.net/test/read.cgi/tech/1639713446/566
567: デフォルトの名無しさん [sage] 2024/10/28(月) 19:57:49.83 ID:2RuMUG8y ML族のRustが市民権を得た今haskellやる意味ないよ その時間をRustに当てなさい http://mevius.5ch.net/test/read.cgi/tech/1639713446/567
568: デフォルトの名無しさん [sage] 2024/10/28(月) 21:28:05.60 ID:B1OBTGXf 平均的HaskellerはRustもやった上でLinearTypes拡張がどうなるか様子見しつつ両方使ってるのでは？ https://zenn.dev/konn/articles/2023-10-01-linear-haskell-in-2023 http://mevius.5ch.net/test/read.cgi/tech/1639713446/568
569: デフォルトの名無しさん [] 2024/10/28(月) 22:50:50.12 ID:duvMwVsG Haskellスレで言われましても わざわざカレー屋に来て「ラーメンを食え」って喧伝するようなものでしょ http://mevius.5ch.net/test/read.cgi/tech/1639713446/569
570: デフォルトの名無しさん [] 2024/10/29(火) 10:29:33.30 ID:2QinlXet >>567 ほんそれ http://mevius.5ch.net/test/read.cgi/tech/1639713446/570
571: デフォルトの名無しさん [sage] 2024/10/29(火) 11:58:27.10 ID:IrbjK6II Rustを関数型扱いするやつは Rustも関数型もまるで理解してない だから誰も真面目には相手してくれない http://mevius.5ch.net/test/read.cgi/tech/1639713446/571
572: デフォルトの名無しさん [] 2024/10/29(火) 12:22:05.93 ID:dZcxKFDp そう。世界がHaskellから孤立していく 世界はもっと危機感もった方が良いよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/572
573: デフォルトの名無しさん [sage] 2024/10/29(火) 15:30:57.70 ID:+9FvEifI 実用プログラムに使った例はあるの？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/573
574: デフォルトの名無しさん [sage] 2024/10/29(火) 16:00:48.67 ID:FJXFYfo2 >>567 MLとは全然ちゃうがな HM型推論せんやろ http://mevius.5ch.net/test/read.cgi/tech/1639713446/574
575: デフォルトの名無しさん [] 2024/10/29(火) 22:29:59.15 ID:LPWWq4s4 >>573 自分も詳しくはないけど、クローズドな分野が多いんじゃない？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/575
576: デフォルトの名無しさん [sage] 2024/10/29(火) 23:08:38.64 ID:+9FvEifI >>575 秘密ということ、それじゃわからんと同じことじゃないか http://mevius.5ch.net/test/read.cgi/tech/1639713446/576
577: デフォルトの名無しさん [] 2024/10/29(火) 23:25:09.95 ID:6SLkDv7J 世界は頭悪すぎてHaskellを使いこなせていない 世界はもっと危機感を持った方が良い http://mevius.5ch.net/test/read.cgi/tech/1639713446/577
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 90 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s