News for hackers. Stuff that matters.

A comment on Sum Types Are Coming (2015). Parent comment

Re:Sum Types Are Coming (2015) by SideburnsOfDoom on Friday February 16, 2018 @06:30AM (#16391605)
A lot of academic programming language research is an outgrowth of mathematics, so it uses the language of mathematics.

E.G "boolean" dates back to George Boole, The Mathematical Analysis of Logic (1847)

https://en.wikipedia.org/wiki/Boolean_algebra#History

and "lambda" to Alonzo Church in the 1930s

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

[ Parent | on HN ]

There are no comments on this comment yet.