> I get that these underpin the technology we as programmers use every single da... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ridiculous_fish on July 7, 2017 \| parent \| context \| favorite \| on: Where Do Type Systems Come From? > 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?

leshow on July 8, 2017 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact