YoshikuniJujo on Nostr: (a -> f b)からf (a -> b)が作れればいいのかな。 bar :: (a -> f b) -> f (a ...
(a -> f b)からf (a -> b)が作れればいいのかな。
bar :: (a -> f b) -> f (a -> b)
か。逆の
baz :: f (a -> b) -> a -> f b
はアプリカティブから作れると思うけど。
Published at
2025-01-24 00:48:00Event JSON
{
"id": "19ed744f9642e5424c82d1a1b68b7b1602e1045bae8a24919406f8c7e68824e3",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1737679680,
"kind": 1,
"tags": [
[
"e",
"5b25937af00ff309a0ade51cdd5ebe75848e3b69f31b98f04776662006bba7b7",
"",
"root"
],
[
"e",
"d4916035342cbc3fec033a17475177352dde7763bd3203077347c71445eeddde",
"",
"reply"
],
[
"p",
"ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758"
]
],
"content": "(a -\u003e f b)からf (a -\u003e b)が作れればいいのかな。\n\nbar :: (a -\u003e f b) -\u003e f (a -\u003e b)\n\nか。逆の\n\nbaz :: f (a -\u003e b) -\u003e a -\u003e f b\n\nはアプリカティブから作れると思うけど。",
"sig": "fd913c0b0c8da225a07978d8c6d0d732c608f2a1006cc82c53c7388f6807bc7e4b9733207b50497bb4b63b2d9ecfab050a0ea31f5d7e1e5a17dfdda8a9e6c39e"
}