Closures vs Objects (228レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
176: 2024/12/28(土)22:32 ID:U3Qq1irw(1)調 AAS
T :: ((α -> β) -> α -> (_ -> (_, β)), _ -> _)
T = (S, R)
f :: α -> β
S f :: α -> (_ -> (_, β))
S f a = fn x: (R x, f a)
f :: α -> β, g :: β -> γ
S f :: α -> (_ -> (_, β))
S g :: β -> (_ -> (_, γ))
S g >>= S f a = fn x:
let
(x', b) = S f a x
in
(R x', g b)
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.014s