DKordic

I think C is not an offense but an insult to reason.

I have a challenge for You: make applications of Your choice of BlackPill [1] or Radxa ZERO 3E [2].

Hint: You might be interested in Forth Systems and Lisp Machines.

[1]: https://github.com/WeActStudio/WeActStudio.MiniSTM32F4x1 [2]: https://radxa.com/products/zeros/zero3e

Interesting arguments.

Lisp Machines? "Separation of Concerns" [1]? Conway's Law?

[1]: http://alarmingdevelopment.org/?p=805

Exactly! "Life After Parsing" [1].

IMHO C Family is a symptom of "low-level" of competence. I often get surprised by superficiality of their arguments. "Sophistry" is a useful concept (in a single word). Ad nauseam?

[1]: http://www.semanticdesigns.com/Products/DMS/LifeAfterParsing...

  I forgot to mention SMT-LIB[1] and pySMT[2].  I don't want to say their are optimal, I just think You might find it interesting.  

  I think it would be even better with Curryed[0] Functions.  As an example ``'(f a1 a2)'' is just a Syntactic Sugar for ``'((f a1) a2)''.  

  Don't forget something like `help' in Python :) .  

[0]: https://en.wikipedia.org/wiki/Currying [1]: http://www.smtlib.org/ [2]: https://github.com/pysmt/pysmt

IMHO [[https://en.wikipedia.org/wiki/S-expression][Symbolic Expressions]] are... infinitely better.

Example: '(iff (not (and (P 1) (P 2))) (or (not (P 1)) (not (P 2))) )