Yeah, ML-family languages generally aren’t designed for rapid development, but rather for building reliable software. I haven’t used ML or OCaml extensively, bu

Yeah, ML-family languages generally aren’t designed for rapid development, but rather for building reliable software. I haven’t used ML or OCaml extensively, but do use Haskell at work. Granted, it does take longer to write code than in a language with a more relaxed type system. But I don’t really mind, because the end product is invariably constructed well and with great care. More time developing, less time debugging. And really, type errors are supposed to be helpful. In fact they usually are, unless somebody decided to get overclever. With typeclasses, for example, you can do a lot of neat things you probably shouldn’t in real code! But if the error messages are unhelpful, that is a failing on the part of the implementation as well.