Post #4157853

Very nice talk by Alexis King about using types to model values positively, rather than as restrictions. Also about the idea of types as a way to communicate obligations between far away pieces of code, between producers and consumers of the type. So when you change a type, the type checker helps you propagate those obligations throughout your codebase. It's refreshing to hear people talk about types the way I also think about them, and Alexis is a great presenter. https://www.youtube.com/watch?v=0BXuYlNrUmE