Type Theory 101

Have you heard about type theory and always wanted to understand the principles behind it, but always thought it was too complicated since it has a lot of Lambda Calculus and algebra? Type Theory is a concept that is sometimes regarded as boring or too difficult, and this talk will show that any developer can understand those principles and maybe apply them to improve their decisions on architecture.

Hanneli Tavante

Codeminer 42

Hanneli (@hannelita) is a developer addicted to code, learn new programming languages, blow capacitors, do some C programming and commit useful (or not) code for random Open Source Projects that she finds at Github. She tries to help the community by writing blog posts and organising meetups about NoSQL, programming languages and Math/Physics/Science. She also likes Math, Lego, dogs, hardware, and [much] coffee.