[vkazanov]

Heh... I got the C version first, which was a mess, only to immediately order the ML one.

> have been looking forward to ML like capabilities on mainstream since using Caml Light.

Modern Java is not built around ADTs and pattern matching, these things feel a bit bolted on. SML feels almost like a compiler writing DSL.

[pjmlp]

The difference is that I get to use Java at work, and never will be able to use SML, perfection usually fails in mainstream adoption, as proven by the whole worse is better mindset languages.

I rather have Java, C#, C++, Kotlin, Rust,.... with their imperfections to ML, Smalltalk, and Lisp ideas, than hoping for getting the right languages at the workplace.

Fully agree on the C edition.

[igouy]

And then there's:

"How we prevent conflicts in authoritative DNS configuration using formal verification"

https://blog.cloudflare.com/topaz-policy-engine-design/

[vkazanov]

True.

Good enough wins. Worse is better rules. Release early... and so on.

I am old enough to remember the full drama behind adding lambda to python, and resistance to bits of functional goodies coming from lisps.

But here we are. Java is an aaaalmost acceptable language!

While scheme, standardml and numerous other perfect little languages are mostly just Wikipedia pages now.

[johnnyjeans]

> Good enough wins. Worse is better rules. Release early... and so on.

None of that applies to this case, where ML is not only a fair bit older than Java, but abides the principle of "worse is better" far more.

> While scheme, standardml and numerous other perfect little languages are mostly just Wikipedia pages now.

Frankly, I'm thankful I work in an environment with creative autonomy and can choose (and create) my own tools, rather than being forced to work with ones I don't particularly care for because they had a large marketing push.

[vkazanov]

Why do you think ml is on the worse side of the principle when compared to java?

Sml is a superpolished language, very well-defined formally, being a culmination of years of design effort and uniting a family of academia-born languages. It took 40 years of research to release the final version in 1997.

Java is on the industry side of thing: semi-formalized, numerous omissions when created, a bunch of ad hoc ideas, released in 1995. Not sure it took more than 3-4 years to get the first official version out.

[johnnyjeans]

"Worse is better" is an extremely misleading phrase. It's supposed to be ironic, not sarcastic. Unfortunately, the authors of "Unix Haters Handbook" exercised terrible judgement used it as a sarcastic pejorative. Now nobody understands what anybody is actually saying when they use it. I mean it in the original sense, where it's basically another way to express "Less is more."

SML is borderline minimalist, it's "worse" because it doesn't try to solve everybody's problems with a bunch of ad hoc language features and a stdlib and formalization larger than the entire legal code of the United States. It's "worse" because it comes with "less". You can't just import solution and start writing AbstractFactoryManager2 garbage. It's not actually worse to anybody but beancounters.

[vkazanov]

Also, lucky you:-) the logic of software development usually means that beginning with mid-size companies it doesn't make sense to have more than 2 major languages, usually on the boring side.

But... I feel that this will not matter all that much soon