[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
83(1): 2020/03/27(金)17:41:48.21 ID:IjRdCSk7(1) AAS
- Haskell自体はクソの役にも立たないが、
- 実用アプリ作りたいだけならあんまやる必要ない
何故だい? プログラミング言語なんてただの道具じゃないか。Haskellで良いプログラムが 書けるなら、使うべきなんだ。
『普通のやつらの上をいけ』！『普通のやつらの上をいけ』！
110: 2020/03/28(土)12:53:14.21 ID:6h+JM2Gw(4/9) AAS
>>101
「ついてこれないならついてこなくていい」スタイルもどうかと思うぞ
そんなんやってたら、いずれ砂漠になっちまう
ただでさえスレッドが一週間止まるなんてざらにある現状なのに
>>100
> 副作用があろうとなかろうと、関連が深い処理をまとめて記述する手続き型の方が使いやすい
Haskell はモナドの do 構文を通して手続きをサポートする。手続き型言語でもある
副作用の有無に関わらず処理をモジュールにまとめることはできる
むしろ入出力が型に明に表れるので通信的凝集などの高凝集なモジュール分けに自然になりやすい
ただそれと引き換えに、ラフに、スケッチ的にプログラミングするのがやりにくい
省1
129: 2020/03/30(月)07:45:32.21 ID:b0eBXbnt(1) AAS
HaskellをやってるうちにHaskellの魅力に気づいて
Haskellで何かを作るよりもHaskellという言語自体のことをもっと深く知りたくなることもあるだろ
そう言う場合に圏論は最良の選択だよ
俺としては、Haskellでアプリを作るためにはまあ圏論を知らなくてもいいと思うけど、
圏論を勉強すれば、より高い視点から見えるものもある
必須じゃないが、苦労して圏論を学んだボーナスだな
221(1): 2020/04/16(木)01:13:24.21 AAS
>>216
あ、説明で嘘を吐いてしまった。確かに√m以降に素因数は存在しないは偽だった
それでも尚、√で打ち切っていい手筋は揺るがない。
√39より前の3を発見して、39 `quot` 3 (=13) に対して再帰的に同じことをする
ただし割ることを試すのは今割り切れた素数からね（同じ素数で複数回われることもある）。
もう一回3で割ろうとして失敗し、次は√13 を超えるので打ち切って、13 は素数と判定してリストに加える
だから結果として、√m 以降の素因数を取りこぼすことはない
227: 2020/04/17(金)23:16:02.21 ID:kOeZUqy9(1) AAS
haskellマスターすると新型コロナにかからないってよ
300(2): 2020/04/29(水)15:47:47.21 ID:ob+X7Nc0(1) AAS
的はずれなのでやめて
397(1): 2020/08/19(水)20:35:34.21 ID:1ghAy1sC(1) AAS
（今は結合性と優先順位は無視していいので）
n + m
は
(+) n m
と同じ意味になる。
つまり(2)は
add = (+)
に変数を明示して右辺の演算子を中置記法に戻しただけ
むしろ変数増やしたのが見にくい原因
515: 2020/09/15(火)00:17:11.21 ID:wUKRYY2O(1) AAS
>>514
まだ自分でハッキリ確かめたわけじゃないんですけど
Applicative と Monoidal は同型なんだそうです
外部ﾘﾝｸ:qiita.com
まだこっちはどういう意味で“同型”になるのかわかってませんけど
数学的な意味でのMonadは英語のwikiに詳しく説明が載ってて↓
外部ﾘﾝｸ:en.m.wikipedia.org
このFormal DefinitionがまさにHaskellのモナド則に繋がっていくのは確かめました
問題はApplicativeは圏論のどの概念に該当するのかの説明がサッパリ見つからないんです
562: 2020/11/09(月)01:15:49.21 ID:4MQyK7K1(1) AAS
>>561
質問の意味がよく分からないのだが、コード例を出せる？
こんな風に書けたらいいのに、みたいな。
575: 2020/11/18(水)01:05:30.21 ID:VzwFaHaO(1) AAS
>>574
イヤ、まだ奮闘中です
おぉ、そんな便利なものが
使ってみます
730: 2021/02/13(土)21:17:16.21 ID:kqsb0S1y(1) AAS
悪役キャラには著作権等のコンプライアンスを意識させると邪気が抜けてしまう
豆知識
796(1): 2021/04/06(火)12:32:00.21 AAS
>>795
値コンストラクタ名に被りがあった場合、それができないようなのです
import モジュールの側の同名値コンストラクタを、qualifiedして修飾しましたので今書いてるモジュールの方を修飾なしで書いたのですが
それはAmbiguousだと怒られます
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s