News for hackers. Stuff that matters.

A comment on Why won’t anyone teach me math?. Parent comment

Re:Why won’t anyone teach me math? by closeparen on Friday February 11, 2022 @02:02PM (#30305617)
We wrote some programs in lambda calculus, but I mainly remember working on an ML interpreter. Type checking, exceptions, free variables, etc.
[ Parent | on HN ]
Re:Why won’t anyone teach me math? by mcguire on Friday February 11, 2022 @04:14PM (#30307078)
"Historically, ML was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply-typed polymorphic lambda calculus, had ML as its metalanguage)."

-- https://en.wikipedia.org/wiki/ML_(programming_language)

[ Parent | on HN ]