関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
16: 2021/12/21(火)11:09:52.33 ID:+QFtbkZ1(1) AAS
>>14
ghci 上で :t round . sqrt として
a :: Int -> Int との違いを比べてみるとよいよ (あとリテラルの50はIntではない)
数(特に浮動小数点数)まわりの関数でなみだ出てくるのは多少同意
19: 2021/12/23(木)20:30:31.33 ID:hyDq6lCn(1) AAS
どんな人生を生きたら実名でこんな攻撃的な調子でtwitter上で不特定多数に絡みに行こうと思えるんだ
実際実社会で会ったらどんな感じの人なんだろう
101: 2022/05/27(金)23:58:56.33 ID:IeVDSTdQ(1) AAS
今だにprintfデバッグに頼ってるなんてHaskellくらいのものかもね・・
114: 2022/08/30(火)19:30:33.33 ID:XzDfLd3k(1) AAS
みんな中央集権クラウドに騙されてる
203: 2023/01/21(土)13:30:02.33 ID:ms4pFp6J(1) AAS
職業倫理が苦手です
309: 2024/07/26(金)17:24:09.33 ID:HoH4md/R(1) AAS
>>307
漠然としすぎ
やり直し
352: 2024/09/05(木)04:50:37.33 ID:l0HQxOqp(1) AAS
PythonやPerlの代わりにテキスト処理に使ってる。
406: 2024/10/02(水)08:30:24.33 ID:VSz9kg2E(1) AAS
数学の圏論テキストではカリー化の操作は良く使うが、カリー化の名前を付けて引用することはまず無いね。
492(1): 2024/10/04(金)22:03:12.33 ID:tixO3LDq(14/22) AAS
>>491
うーん。例えば、数学は集合論上で展開されているから、集合論があればその上で展開される
解析学とか、線形代数学とかいらない、みたいな論法じゃない？
この現象は、解析学でモデル化できるけれども、解析学は集合論上で展開できるから、
そんなモデル化はいらなくていちいち集合論の言葉で書けばいいじゃん的な。
みんなそこに興味あるわけじゃないと思いますよ。
559(1): 2024/10/26(土)13:33:26.33 ID:qze4GRwI(1) AAS
モナドはCのポインタより概念が難しいのどうにかならんの
別のはないんですか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 4.176s*