I'm also not sure. I think it's an interesting point that you bring up. My comment on value is mainly one of "all or nothing". I think a manual typing at the e

I'm also not sure. I think it's an interesting point that you bring up. My comment on value is mainly one of "all or nothing". I think a manual typing at the edge is probably sufficient for most people. That said, you could implement all of your forms and events as structs or schemas and rig up a piece of the dev process to convert them into types. I think many in Elixir would view it as overkill so it hasn't been done afaik. But I also think it could be implemented very easily and then you'd have end to end typing.