TypeVille Event | See what we've prepared for you!

LOADING

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.

SEE HOW TO GET TO TYPEVILLE Save your attendee spot here!

Get your TypeVille Package now!

Immerse yourself into TypeSafety world

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

What else awaits you at TypeVille?

Might Be Interesting

Talk about Unison

Adam Warski

The higher order of types

Marcin Baraniecki

Marcin Baraniecki

The curious case of generics in Go

Tomasz Kogut

Static typing in Python

Michał Gutowski

Michał Gutowski

Generics everywhere - but they are not the same

Adam Furmanek

Type safe state management of Promises in React

Piotr Majcher