It is like paintings from famous painters in billionaire's homes. Now for me and may be for lot of people stuff from Bed Bath and Beyond is just fine on our walls. So for ultra-rich / successful/profitable company might see beauty in Ocaml but most of the world runs fine on run of the mill services in PHP/Java/.net etc.
most of the world doesn't run fine. If airplanes were built like your average software stack they'd drop out of the sky every other day.
Development practise at a place like JaneStreet is an example how things ought to be done. I really dislike the analogy of Ocaml as some sort of esoteric billionaire tool. It's just a sound language that everyone can understand, it's not even particularly academic despite its reputation. This is just what software engineering looks like if you actually treat it like... well engineering.
I missed to add C/C++ to my list. That would have covered real time systems you mention.
> Development practise at a place like JaneStreet is an example how things ought to be done.
As much I agree Jane street is doing cutting engineering for their domain, it seems unrealistic that rest of the world is unaware of good software engineering in generic usecases.
Depends on who is aware and whether they have the clout to actually implement it, the trenches are full of developers who know there are better ways and that those better ways would have a positive RoI but that it wouldn't show up possibly for 3-4 quarters minimum which makes it a hard sell to management if you can get them to even understand it without a tortured analogy - those programmers frequently don't have the authority to enforce the standards particularly when the other half in the trench with them are busy adding to the pile or actively fighting against it.
There have been times where I've wanted to shiv (figuratively) a developer who writes the worst most pointless convoluted code after he proclaimed code should be "self documenting".
Fortunately these days I'm at a level where at least for my teams I can enforce whatever standard we agree on and if we can't agree then the one I agree on - if we can't reach a consensus I operate on democratic principles, one man, one vote - I'm the man, I have the vote (though I try to avoid having to do that).