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
Tags » Type System
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
Unscientific and unreliable toy benchmark game: Common Lisp, Racket, Python, C, and Fibonacci numbers
Warning: take the results in this blog post with a grain of salt.
So I have been playing with Common Lisp and type declarations for a while now. 555 more words