We have PureScript which is statically typed, pure functional language compiling to JS, can't it be adopted for React Native development somehow?
[0] https://github.com/arthur-xavier/purescript-react-native
It's an ML-like language with built in functional reactive framework similar to React, but built to work naturally with the language rather than requiring the FFI binding you'd need if you use Purescript.
Also, you still need FFI in Elm. elm-lang/virtual-dom is basically just a wrapper around the native virtual-dom library. Also, afaik there's nothing like react native for virtual-dom.