News for hackers. Stuff that matters.

A comment on The seven programming ur-languages (2021).

Re:The seven programming ur-languages (2021) by sebstefan on Thursday May 04, 2023 @10:25AM (#35815852)
Which category does Coq go in?

https://github.com/coq/coq

With code example:

https://github.com/coq-community/coq-100-theorems/blob/maste...

[ Parent | on HN ]
Re:The seven programming ur-languages (2021) by AS37 on Thursday May 04, 2023 @10:49AM (#35816238)
ML
[ Parent | on HN ]
Re:The seven programming ur-languages (2021) by codeflo on Thursday May 04, 2023 @10:50AM (#35816256)
Once you recognize the patterns, it seems clearly in the ML tradition. Some bits and pieces look exactly like Haskell at first glance.
[ Parent | on HN ]
Re:The seven programming ur-languages (2021) by navaati on Thursday May 04, 2023 @10:59AM (#35816413)
Oh it’s a ML alright, fits right next to Agda for example.
[ Parent | on HN ]
Re:The seven programming ur-languages (2021) by tel on Thursday May 04, 2023 @09:41PM (#35824345)
* * *
[ Parent | on HN ]