I've had fantastic experiences with this platform as well, front- and back-end code compiled together using F#'s robust type system.

Elmish framework provided a nice MVU pattern for the U/I.

And the real icing on the cake was this Thoth.Elmish package which creates statically-typed proxy for your front-end to access your back-end API, more or less transparently. I was always certain that I would some day do something unorthodox causing its automated serialization/deserialization to fail in some difficult-to-troubleshoot way but no, that never happened and it all just worked transparently.

This was hands down the best automated-correctness-checking experience that I've ever had in any framework.