Well, FWIW, Pharo certainly exists and people use it (not me, but some people); and while IMO it's too soon to say anything concrete about Dark lang concerning

Well, FWIW, Pharo certainly exists and people use it (not me, but some people); and while IMO it's too soon to say anything concrete about Dark lang concerning its uptake/adoption, it does exist and some people are using it. But what I'm saying is the very absence of better tools in common use (in 2020!) is telling. IMO it's unprofessional that e.g. type inference is only coming to mainstream languages/frameworks in the last decade or so. ML is over forty years old! Or check out the "new representation of conditional logic called schematic tables" in Jon Edwards' Subtext experimental language/IDE ( http://www.subtext-lang.org/ http://www.subtext-lang.org/ https://vimeo.com/140738254 https://vimeo.com/140738254 ) Something like that would be very useful if it was integrated into IDEs but it's barely known, eh? Instead we concentrate on creating bold new flavors of C++, Python, Java, Javascript, or even Dart, Swift, Go, etc... or ReasonML, Typescript, ... I can't even keep going. You know what I mean. We play with toys, for a living. It's unprofessional. ;-)