YoshikuniJujo on Nostr: ...
JavaScriptのaddEventListenerにPureScript側から「ちゃんと型付け」しようとしてるんだけど、わりとめんどくさい。
たとえばイベントを表す型を単にdata Eventのようにしてしまうと、イベントからターゲットを取り出すときに型が付けられないので、data Event evtgみたいに型引数を付けておかなくちゃならなかったりする。
Published at
2024-06-11 01:17:03Event JSON
{
"id": "08080c2ad25a8ca63bfc1d8890e52ad3394a76da94913a58b3e658e3cce0cc49",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1718068623,
"kind": 1,
"tags": [],
"content": "JavaScriptのaddEventListenerにPureScript側から「ちゃんと型付け」しようとしてるんだけど、わりとめんどくさい。\n\nたとえばイベントを表す型を単にdata Eventのようにしてしまうと、イベントからターゲットを取り出すときに型が付けられないので、data Event evtgみたいに型引数を付けておかなくちゃならなかったりする。",
"sig": "8c6db6be9eb8bba981291c707b0d9d26205c6219c21d74afef223efc321932c2c9777e2fc74dac8a98f6c602100caf19560a47cf1e9ba65cce5d2055d91a7b77"
}