News for hackers. Stuff that matters.

A comment on Where Do Type Systems Come From?. Parent comment

Re:Where Do Type Systems Come From? by ridiculous_fish on Friday July 07, 2017 @06:37PM (#14722751)
> I get that these underpin the technology we as programmers use every single day

Is this actually true? Of course Haskell, Idris, etc. leverage type theory, but how much type theory underlies the type systems of widespread practical languages like C# or Java? Can something like C++'s SFINAE be grounded in type theory, or is it just a hack?

[ Parent | on HN ]
Re:Where Do Type Systems Come From? by leshow on Saturday July 08, 2017 @04:35PM (#14727074)
C++ metaprogramming might not be pretty, but it's extremely expressive, I'd be surprised if it didn't have some kind of type theoretic background.
[ Parent | on HN ]