55(1): デフォルトの名無しさん [sage] 2024/12/23(月) 18:30:33.55 ID:INK0hSQF(1) AAS
「モナドは副作用を実現するものだ」とは言うが、「Functorは副作用を実現するもの」「Applicativeは副作用～」「Monoidは～」「Semigroupは～」などとはまず言われないという不自然な非対称性がある。
結局、モナド・圏・抽象代数などを理解するのに必要な数学の習熟度が足りない人たちが、いい加減なたとえ話でわかったつもりになるから、おかしな言説がまかり通る。

56(1): デフォルトの名無しさん [sage] 2024/12/23(月) 18:31:55.29 ID:r1F3GSjz(1) AAS
>>54
一生懸命調べてきたのかな？
偉いね(笑)

160(2): デフォルトの名無しさん [sage] 2024/12/25(水) 12:40:16.81 ID:sEjXY6o4(5/7) AAS
細かいことを指摘されていると思っているようだが、
自分が根本的にデタラメな理解をしていると自覚したほうがいい

238(2): デフォルトの名無しさん [sage] 2024/12/25(水) 22:31:33.99 ID:pHnbL/O6(1) AAS
Haskellでは、副作用の実行を表現するオブジェクト（I/Oアクション）は、IO aという型をもつ
Haskellの標準的な処理系では、I/Oアクションを「現実世界を引数と戻り値に持つ関数」として実装することで、参照透過性を保っている
I/Oアクションの生成および結合はモナド則をみたすので、IO型クラスはモナドになる

500(2): デフォルトの名無しさん [] 2025/01/16(木) 10:36:48.70 ID:lz5HlofV(1) AAS
Rustって関数とかの命名が小文字とunderbarだけでやりくりしてるっぽいけど、見にくくない？慣れてないっていうのもあるやろうけど、なんかこれじゃないといけない理由とかあるの？
これであることのメリットってあるの？コンパイル速度遅いから、コンパイルが早くなるとかではなさそうだが。