[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
28: 2020/02/15(土)10:58:18.94 ID:ELCuAwaW(1) AAS
頭が悪い奴が作るとすぐメモリ不足になると死んだじっちゃんが言っていた
90: 2020/03/27(金)19:49:25.94 ID:bZjh3B7N(2/2) AAS
>>84
IOアクションのことやろ
104(1): 2020/03/28(土)09:17:26.94 ID:HVNiklPA(1/3) AAS
実装に依存するな、メタファーに依存しろ
こういうのって実装はコロコロ変わるがメタファーは不変という前提なんだよね
前提が崩れたらやっぱり実装に依存する方が正解だったことになる
106: 2020/03/28(土)12:07:59.94 ID:6h+JM2Gw(1/9) AAS
>>88
ハァ？ じゃあ役に立つプログラムを書けばいい
良い／役に立つはどう違うか、説明できないだろ
雰囲気で誤魔化せると思っているお前みたいなアホが真の元凶
良いプログラムが役に立つプログラムと無関係なら、良いなんて指標は何の役にも立たん
Haskellで役に立つプログラムをお前が書け
それができないならせめて、何が足りないのか言え
140: 2020/03/31(火)23:05:18.94 ID:gNdJtX6R(1) AAS
学歴だろうと知識だろうと仕事の腕前だろうと、
お前らキモオタクがそういう承認欲求を満たそうとすると裏目に出るだけだぞ
表ではお世辞であしらわれて、裏ではチョロいとナメられるのがオチ
251: 2020/04/23(木)02:23:16.94 ID:mBUbZ8gm(1/2) AAS
何を言ってるんだ
289: 2020/04/28(火)17:08:37.94 ID:yBopWDZB(1) AAS
言語仕様はHaskellでもいいけど実装は、電池が入ってるインタプリタがいい
コンパイラをコンパイルするのも、ネットのサービス終了も嫌だ
297: 2020/04/29(水)10:47:45.94 ID:SPs1sTfW(2/2) AAS
5chごときにスレが立たないとは
魔族の面汚しよ・・・
358: 2020/06/20(土)10:17:27.94 ID:6v+H5Lhm(1) AAS
今、最新のghcでdependent typesは使えますか？
560: 2020/11/08(日)11:31:57.94 ID:Bx8aZf2L(1) AAS
一方TeXはisoイメージを使った
618: 2020/12/20(日)18:18:58.94 ID:FMam64CT(2/2) AAS
IOモナドを恒等モナドに差し替えて、Rに移植する。
``` {r raskell}
do = pure = id = function (a) a;
const = function (a) function (ab) a;
`%.%` = function (bc, ab) function (a) bc (ab (a));
`%$%` = function (ab, a) ab (a);
`%>>%` = function (a, ab) ab (a);
inc = function (n) n + 1;
caty = function (a) cat (a, "\n", sep = "");
lhs = function (dump) function (x) do ({
y <- inc (x);
z <- caty (y);
pure %$% dump (y) (z);
});
rhs = function (dump) function (x) {
inc (x) %>>% (function (y) dump (y) %$% caty (y));
};
lhs (function (y) function (z) list (y, z)) (123) %>>% print
rhs (function (y) function (z) list (y, z)) (123) %>>% print
lhs (const %.% const ("hello")) (123) %>>% print;
rhs (const %.% const ("hello")) (123) %>>% print;
```
Rは関数の引数を問答無用に遅延評価するので、最後の`rhs`だけがHaskellと
異なる動作をする。Rの遅延評価の例としては煩雑過ぎるが、HaskellのIOモナド
とサイドバイサイドに比較できる例になっている。
657: 2021/01/20(水)17:39:40.94 ID:kKr2IDUq(1/3) AAS
>>653
利点を提示っていうかLispとHaskellの違いを提示する必要がある
Lispの利点を再現するだけならPythonで十分な気がする
しかしHaskellを再現できるものがまだ出てこない
それは関数型じゃなくて静的型の説明をしないと意味が分からないと思うけど
689: 2021/01/25(月)09:36:17.94 ID:lGPRZ7j1(1) AAS
種が IO だから、
randomRs の戻りは [a] なんだね
806: 2021/04/07(水)15:25:15.94 AAS
AA省
959(1): 2021/11/30(火)20:23:52.94 ID:SegqCGCa(1/2) AAS
haskell勉強しようかなって思ってるんですけどおすすめ書籍ってなにかありませんか？
ちなみにocamlでプログラム書いたことあります
型システム入門を原文で7割ほど読破しました
ちなみに大学受験の数学はそこそこ自信あります
一階述語論理の記号扱って解いていました
圏論の知識はありません
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s