関数型プログラミング言語Haskell Part34 (667レス)
上下前次1-新
抽出解除 レス栞
44: 2022/01/11(火)17:47:50.88 ID:rZde0CTm(1) AAS
>>43
ひどすぎるだろこれ
可哀想に
59: 2022/01/27(木)12:03:44.88 ID:eY59BLQP(1) AAS
Twitterリンク:mutamac
引用
「Linuxの元になったMINIXが復権中。期待。」という自称ギークとの話』の魚拓を取りました 外部リンク[pdf]:nmuta.dip.jp
Twitterリンク:5chan_nel (5ch newer account)
69: 2022/02/08(火)12:34:20.88 ID:iTFetD6R(1) AAS
haskellでしばらく何かを学んだら、元いたところに帰っていくんじゃないかな
245: 2023/09/19(火)20:18:27.88 ID:a563RtWW(3/3) AAS
ありゃ俺も連投しちまったすまん
なんか5ch重いっぽいね
522(1): 2024/10/05(土)13:16:57.88 ID:AoKf42Y0(1) AAS
>>519
異なる順序でreductionする方法がある場合は、どの順序でreductionしても同じ結果になるだろ?
IO a >>= (a -> IO b) -> IO bなら当たり前だけど(a -> IO b) -> IO bをa -> IO bに先にreduction可能
600: 2024/11/16(土)20:50:43.88 ID:ZUJ+jDQV(1/4) AAS
結局Moggiのアイディアがなんなのか書いてなかったから、洋書でも同じでしょ。
607: 2024/11/17(日)08:11:12.88 ID:RK7ri1yG(1) AAS
レポよろ
609: 2024/11/17(日)14:35:29.88 ID:895B27h0(1/2) AAS
4万近く出してわざわざレポだけする奴なんているの?
圏論入門と同じでそれらしいキーワードだけ出して終わりの可能性高いのに。
616: 2024/11/21(木)00:16:43.88 ID:r2/mXbdf(1/2) AAS
集合論と圏論の抽象度がもし同レベルならたしかに圏である必要はないな
必要ない情報は捨象されるべきだと言われれば何も反論できない
だから抽象化マウントは強いんだ
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.033s