News for hackers. Stuff that matters.

A comment on Programming languages are not languages (2018). Parent comment

Re:Programming languages are not languages (2018) by xkapastel on Tuesday April 14, 2020 @08:46PM (#22873207)
> I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway.

The appeal and strength of a programming language is its ability to be executed, something that pure mathematics does not and cannot ever have.

[ Parent | on HN ]
Re:Programming languages are not languages (2018) by martin__ on Tuesday April 14, 2020 @10:36PM (#22873886)
You might want to look into something called Constructivism:

https://en.wikipedia.org/wiki/Constructive_proof

[ Parent | on HN ]