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

Runtime Staging compiler for a computer game

Anatolii Kmetiuk

Anatolii Kmetiuk

The power of TypeScript

Marcin Moskała

Marcin Moskała

Type-inference based dependency-injection (in Scala)

Valentin Willscher

Valentin Willscher

Klite - how Kotlin enables small, light, non-blocking server app framework with zero dependencies

Anton Keks

Typed Interaction with Session Types

Tomas Mikula

Outdoor Adventures - More Details Coming Soon!