sunshowers
How to write types that represent choices. Type systems are tools for modeling some aspect of reality. Some types need to represent one of several different choices. Sometimes, all the choices may be known in advance and will likely never change—this is often called a...
marcoshplace
PHP ❤️ types PHP ❤️ types - PHPDay, June 8th 2021 - @marcoshuttle // More info about initialization & config: // - https://revealjs.com/initialization/ // - https://revealjs.com/config/...
sunshowers
Types are for people. Title page of The Social Contract, by Jean-Jacques Rousseau. Public domain. Type systems1 are the wellspring of some of the most interesting work in computer science, and practitioners like myself deal with them everyday. This post...