[FullyFunctional]

If "fighting the compiler" means less "debugging the app at runtime" then I'd take the former any day.

Rust (like Haskell) has a much richer language for accurately modelling and enforcing the value domain.