News for hackers. Stuff that matters.

A comment on Functional programming is finally going mainstream. Parent comment

Re:Functional programming is finally going mainstream by ncmncm on Wednesday July 13, 2022 @07:45AM (#32081350)
Maybe you are unable to prove properties of programs you have coded in Turing-complete languages. Many of us do, though. Routinely.

Quick, does this program terminate:

  int main() {}
? Can't prove it?
[ Parent | on HN ]
Re:Functional programming is finally going mainstream by tadfisher on Friday July 15, 2022 @02:36PM (#32111385)
That's not a very useful program.
[ Parent | on HN ]
Re:Functional programming is finally going mainstream by ncmncm on Saturday July 16, 2022 @12:54AM (#32115324)
It is the first stage of every useful program.

Add to it, and show that it still terminates, uses finite memory, introduces no data races or undefined behavior, and maybe computes a step toward something useful.

Repeat until done.

[ Parent | on HN ]