Re:Ask HN: How would a goal-oriented programming language lo...
by brudgers on Tuesday May 01, 2018 @09:17AM
(#16966767)
Yes. And the Hacker News guidelines.
Re:Ask HN: How would a goal-oriented programming language lo...
by coldtea on Tuesday May 01, 2018 @09:58AM
(#16967046)
I would expect something more substantial for my "several paragraphs with summary and references" response than "the HN guidelines say to not question whether another has read TFA" then...
It specifically mentions that the kind of "missing paradigm" looked for is not one of the declarative ones we currently have (SQL, Prolog, etc) because those fall into the Evaluate + Consequent combo.
So, he gives 3 paradigms:
FunctionalProgramming -> Evaluate + Mechanism (list of instructions)
ImperativeProgramming -> Execute + Mechanism
LogicProgramming/ConstraintProgramming -> Evaluate + Consequent (i.e. towards a consequent (result) based on constraints) [this is where declarative falls).
So, the "goals oriented" language he defines as the missing: Execute + Consequent pair.