関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
16: デフォルトの名無しさん [sage] 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: デフォルトの名無しさん [sage] 2022/05/27(金) 23:58:56.33 ID:IeVDSTdQ(1) AAS
今だにprintfデバッグに頼ってるなんてHaskellくらいのものかもね・・
114: デフォルトの名無しさん [sage] 2022/08/30(火) 19:30:33.33 ID:XzDfLd3k(1) AAS
みんな中央集権クラウドに騙されてる
203: デフォルトの名無しさん [sage] 2023/01/21(土) 13:30:02.33 ID:ms4pFp6J(1) AAS
職業倫理が苦手です
309: デフォルトの名無しさん [sage] 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: デフォルトの名無しさん [sage] 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 0.029s