Shower thought: can types be viewed as a subset of contracts?
miniblog.
Related Posts
Quibi is exploring a different model to on-demand video content, even adding cute features like horror series which can only be viewed at night!
Demonstrating that tail-calls can be viewed as just goto statements (using Common Lisp) http://t.co/uyrkT44Ouk
Best viewed on: a browser.