This post is an introduction to another one that I intend to write in the future. The goal of this one is to go over the concepts of function template specialization, function (template) overloading, argument dependent lookup (ADL) and overload resolution. 2,790 more words
Tags » Type System
One of Salt’s main goals is to provide a smoother transition from a prototype to a fully-verified system. The idea is that if we have a smooth, pay-as-you-go transition, then developers will be more likely to make use of the ability to verify the most sensitive parts of their programs. 631 more words
This is my short summary of Philip Wadler’s “Proofs are Programs: 19th Century Logic and 21st Century Computing“.
Proofs and programs are the same thing. 161 more words