On the whole, the type safety guarantees of something like StandardML over something like Golang are at least as valuable as many of the more traditional "functional" aspects.