YoshikuniJujo on Nostr: foo :: forall bar . HOge -> Piyo foo = f @bar >> g @bar ...
foo :: forall bar . HOge -> Piyo
foo = f @bar >> g @bar
みたいなコードで「barが使われてないよ」みたいな警告が出るけど、これの修正って難しいのかな。
Published at
2024-09-19 08:57:04Event JSON
{
"id": "3e5a1e20ccc1fd0a8258f61a006634a82a1dec02f095c0d85ec5ab6cc6a6be11",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1726736224,
"kind": 1,
"tags": [],
"content": "foo :: forall bar . HOge -\u003e Piyo\nfoo = f @bar \u003e\u003e g @bar\n\nみたいなコードで「barが使われてないよ」みたいな警告が出るけど、これの修正って難しいのかな。",
"sig": "a39c5bb43d0a38fef625be277879a2e30ba36fff5a41aa2aa16427929ed534336cf114cb4c8e74795f7214590fbb87d97001fc38914adce6d5a84ef1dc7daa22"
}