[QuinnWilton]

For what it's worth, I spoke last year about using Gleam to develop a type-safe core for a LiveView application: https://www.youtube.com/watch?v=UCIcJBM_YDw

I think that what you're looking for is already possible today, and that things only get easier over time.

[pdimitar]

I agree it's possible. The pertinent question is: how easy and ergonomic it is to do? Friction kills good innovation very often.