YoshikuniJujo on Nostr: foo :: Functor f => ((a -> b) -> t) -> (a -> f b) -> f t ...
foo :: Functor f => ((a -> b) -> t) -> (a -> f b) -> f t
という関数を定義したいのだけど。
Published at
2025-01-24 00:36:20Event JSON
{
"id": "5b25937af00ff309a0ade51cdd5ebe75848e3b69f31b98f04776662006bba7b7",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1737678980,
"kind": 1,
"tags": [],
"content": "foo :: Functor f =\u003e ((a -\u003e b) -\u003e t) -\u003e (a -\u003e f b) -\u003e f t\nという関数を定義したいのだけど。",
"sig": "f3ae033c7e4e3e450934ae9c736f8917730a0727d9aa21b281433603af20024bfc767607a3e6940d386e6b7ea4b024dc827a53777815f190541bd2bf57b98862"
}