News for hackers. Stuff that matters.

A comment on Programming in Martin-Lof's Type Theory: An Introduction (1990). Parent comment

Re:Programming in Martin-Lof's Type Theory: An Introduction ... by grumpymuppet on Monday May 19, 2025 @06:00PM (#44035367)
If you are interested in programming language theory (think language design) then, yes. In some sense, this kind of stuff is impossible to avoid.

If you're an engineer focused on shipping product, probably not. It's not TERRIBLY useful for most day to day coding tasks.

I would argue some understanding of theory is absolutely necessary if you want to make any significant tide change in CS. It's just that most people won't (myself included).

[ Parent | on HN ]
Re:Programming in Martin-Lof's Type Theory: An Introduction ... by wduquette on Monday May 19, 2025 @11:21PM (#44037465)
Oh, I get the importance of type theory in general. I hadn’t run into Martin-Lof before.
[ Parent | on HN ]
Re:Programming in Martin-Lof's Type Theory: An Introduction ... by grumpymuppet on Tuesday May 20, 2025 @08:35AM (#44040856)
Ahh, sorry, yeah. This stuff is classic. "Old" even.
[ Parent | on HN ]