Comment by jiriknesl

6 days ago

I don't want to be overly negative, but it seems to me that author considers just different flavours of C.

There is a massive difference between Clojure, Prolog, and Forth.

The whole:

    type name = value—type-focused
    name: type = value—name-focused
    var name type = value—qualifier-focused

Is so much deep into details of how syntax might look like.

If you are choosing between Kotlin and Go, it is for the platform, not the syntax. If you decide between Haskell, Idris, Scheme, you do it with the syntax in mind.

All programming languages are basically Algol or Lisp, even the ones I like.

C? Basically Algol. Pascal? Basically Algol, actually quite closely. Go? Basically Algol, via Pascal. Lua? Basically Algol, surprisingly closely.

Forth? Basically Lisp. Postscript? Basically Lisp.

  • When I ponder about PL semantics, crossroad feature is currying. This decides whether partial application, pattern matching, function composition, combinators, and other functional features would play a major role in the language design. Functions are curried? ML style. Not curried? C style.

Those syntax examples are literally just general examples, not the only way you have to write them. But to categorize the ones you wrote:

* Clojure is qualifier-focused * Prolog is name-focused * Forth is qualifier-focused (`:` is the qualifier in this case)