YoshikuniJujo on Nostr: ...

JavaScriptのaddEventListenerにPureScript側から「ちゃんと型付け」しようとしてるんだけど、わりとめんどくさい。

たとえばイベントを表す型を単にdata Eventのようにしてしまうと、イベントからターゲットを取り出すときに型が付けられないので、data Event evtgみたいに型引数を付けておかなくちゃならなかったりする。