News for hackers. Stuff that matters.

A comment on Lisp as the Maxwell’s Equations of Software.

Re:Lisp as the Maxwell’s Equations of Software by tim_hutton on Wednesday November 09, 2022 @12:56PM (#33535355)
If this is true then Haskell's type system is Noether's Theorem.
[ Parent | on HN ]
Re:Lisp as the Maxwell’s Equations of Software by tome on Thursday November 10, 2022 @08:38AM (#33546189)
Are you familiar with this? https://bentnib.org/conservation-laws.html
[ Parent | on HN ]