Feature request: typed inputs

[kubukoz]

It would be amazing to have typed events for inputs. This is the tweet.

like, maybe type := "file" can carry a singleton type of "file" and this can somehow be used to derive a more specific type in onChange, like in typescript?

[armanbilge]

I think getting this to work with the generic syntax type := "file" may be more challenging ... but maybe we could add a custom builder to the DSL e.g. input["file"](...). I think we'd also need something like the changes I suggested #180, where attributes and events can be typed specifically according to the element type. This will help us better support Web Components.