Tag: types

13 Aug 2014 · by Adelbert Chang
On August 8th and 9th I had the pleasure of attending the Scala by the Bay conference as a speaker. In my talk, “Reasoning With Types,” I discussed how we, as developers, can approach types not as something “just for the compiler” but rather as a tool for us to reason about code. A good chunk of...
30 Jan 2014 · by Joseph Marrama
Introducing PHP Augmented Types, a PHP extension that enforces PHPDoc-style type annotations at runtime. At Box, we depend heavily on PHP. While we have a diverse set of services that utilize a variety of languages, all external requests and most other significant processes end up interacting with...