Type Driven Design

Abstract

Type theory can be a very difficult mathematic field to get into despite offering many powerful benefits for programmers. This talk discusses how type driven design can improve the security, maintainability, and quality of code.