The Problem with Popular Programming Languages

#1

Post by cscalfani » Sun, Sep 19, 2021, 4:54 PM UTC

The Problem with Popular Programming Languages
cscalfani.medium.com

Re: The Problem with Popular Programming Languages

#2

Post by triska » Sun, Sep 19, 2021, 5:11 PM UTC

Quoting from the article:

"What we need is a model of computation and logic. And with that model, we should be able to model the real world. And we need a model that is time tested."

Immediately followed by:

"The paradigm which ticks all of the boxes in our values list and is time tested is Functional Programming."

Functional programming may indeed be a paradigm that ticks all the boxes. However, the paradigm that first comes to mind when speaking about logic is Logic Programming. If you need a model of computation and logic, how about using logic programming?

Re: The Problem with Popular Programming Languages

#3

Post by retrac » Sun, Sep 19, 2021, 5:18 PM UTC

triska wrote: post #2

Quoting from the article: "What we need is a model of computation and logic. And with that model, we should be able to model the real world. And we need a model that is time tested." Immediately followed by: "The paradigm which ticks all of the boxes in our values list and is time tested is Functional Programming." Functional programming may indeed be a paradigm that ticks all the boxes. However, the paradigm that fi…

A substantial subset of Prolog (perhaps with some funky syntax) is easy enough in many major contemporary functional languages. The Haskell translation of Ninety-Nine Prolog Problems is pretty straightforward. Lisp and Prolog always seemed like cousins to me.