My favorite part about Ocaml is the type checker fwiw. Pretty much as soon as I appease it I'm guaranteed a 'working' program that usually does what I intended.
I suspect the root argument is really against the efficacy of markets and capitalism as a useful system for humanity, in which case I say that is a fair debate. The benefits are hardly obvious today.
Lol same. Wasn't there something like it in System 7 that also got deprecated. I think back then it was called "Launcher" ... https://apple.fandom.com/wiki/Launcher
Launching seems easy enough from Finder but you never know about innovation.