I really do wonder why Ocaml hasn't had its rails moment.
I hated ML when I first encountered SML in college. As I became more familiar with functional programming, I started enjoying them. the ML languages just felt like such a better deal than the complexities arising from the purity of Haskell.
More intuitive and have records. Maybe they'll have a moment yet. Their learning curve might still be steep. I do hope for a wide spread variation to come out some day.
I find these types of outlooks to be far too rose-tinted.
Productivity and other arguments aside. I think we still need a fair bit of advancement before this is possible.
We need to reach a point where robots can maintain themselves and all of our complex machinery. The maintenance required for a train engine or train tracks is non trivial for example.
We need advancements in energy. Solar is not enough at it's current state but I have hope it soon will be.
I do feel, we're at a point that, if we could focus a lot of resources, we can drive enough development to give everyone a very high quality of life for free.
At this point,the machinery we make the more machinery we have to maintain. And robots are not at the point where they can do this.
I hated ML when I first encountered SML in college. As I became more familiar with functional programming, I started enjoying them. the ML languages just felt like such a better deal than the complexities arising from the purity of Haskell.
More intuitive and have records. Maybe they'll have a moment yet. Their learning curve might still be steep. I do hope for a wide spread variation to come out some day.