A Book Written in Types
PDF

Appendices

Glossary

The words this book uses in a fixed sense, collected from the places where the chapters define them: the two entropies kept apart, information against knowledge, and the four words for what a programmer makes – software, source code, program, process. The industry uses code, program, software and application interchangeably; this book does not.