Types as Tools for Thought

Chris Krycho

Chris Krycho
Senior Staff Software Engineer at LinkedIn
About This Event

A meditation on: domain-driven design and the power of metaphors, “explicit is better than implicit” and “reasoning footprints”, Peter Naur’s classic essay “Programming as Theory-Building”, and the power and limits of types as tools for thinking and communicating about software.

Get your TypeVille Package now!
Immerse yourself into TypeSafety world

Experience something like never before - an all-inclusive tech conference in the Polish mountains