4 ms·
Hi Burak, all serious discussions about types end up talking about logic at some point, and I just don't think that types are a particularly helpful way to thin
by practal 2y ago
Hi Burak, all serious discussions about types end up talking about logic at some point, and I just don't think that types are a particularly helpful way to think about logic. I'd rather use normal mathematics to think about logic. Take a look at [1], at this point abstraction logic is less confused and hopefully clearer than it was a few years ago when you first checked it out.
[1] http://abstractionlogic.com http://abstractionlogic.com
- burakemir 2y agoHi Steven, I will check it out. What I like about Cardelli's handbook article is how he lays down type systems in programming languages as its own thing. This is inspired by logic but definitely not the same - just as mathematical logic can well be called the origin of programming languages and PL semantics but then there is so much knowledge, difference in purpose and practical concerns that separate the two fields.