Hacker News Reader

Comment by mhd | Hacker News Reader

I understand the need for good documentation and tooling, but "languages as a product" are one of the more horrible aspects of the current dev environment. First of all, this mostly means that compiler and language are the same product. Second, it leads to the release early/often dev cycle which seems ill-suited to a language and its core library (remember core libraries?).

And language "branding"? What are we talking about here? TIOBE-SEO? Cute logos? Cute in-group names ("pythonist", "rustacean", "gopher" ...)

By the way, wasn't there a "ML for the Working Programmer" aeons ago?

View on HN

> By the way, wasn't there a "ML for the Working Programmer" aeons ago?

There was. It was written by the author of this very submission and you can download it free from his site (follow the link trail from author's name at the bottom of the article). Great book, a real favourite, though I'm not sure it totally captures the anxiety-driven copy-paste frenzy of the true working programmer.

There is one SML compiler that has an extremely cute logo - SML# (https://smlsharp.github.io/en/)

> And language "branding"? What are we talking about here?

“Branding Power” would be where given the choice between two products, the customer will choose the more expensive (or equally priced) product based solely on perception of brand quality or other brand characteristics. Think buying store brand vs buying name brand, an expensive name brand electronic item vs a cheap knock-off from a no-name Chinese manufacturer (the Chinese one might actually be better but that’s the point).

So not just a logo or cute drawings. It’s part of a more holistic experience, but especially the perception which is where logos and the like come into play. We engineers can stomp our feet but those are the rules of the game.

I think calling OCaml "inferior" is misleading in 2022. OCaml kept evolving (easier when not bound by a standard) and grew many features way beyond what SML offers. Things like more expressive pattern matching, GADTs, first class modules, etc. The tooling (lsp, dune, ocamlformat) is also stronger these days. That's why I think SML and OCaml are not strictly better than one another.

Reply on news.ycombinator.com