La conférence pour l'éthique et la diversité dans la tech
avec des crêpes et du cœur La conférence pour l'éthique et la diversité dans la tech avec des crêpes et du cœur

Lyon - 13 & 14 avril 2023

#TALK

Notes on Type Theory for absolute beginners

One important subject we analyse in languages is its type system. Having a general overview of a type system provides information about the language structure, possible optimisations and may help us to understand how statements are evaluated. Those are topics that we shall consider for when creating a new project. This talk will provide a gentle introduction to type theory, explaining step by step how we transform source code into logical statements.

Tech Tech
jeudi 20 avril
14h00 - 14h40

Salle Gosling (S102)

Topics we will cover:

Hanneli Tavante

Hanneli is a software developer. With experience in Java, C++ and Ruby, she works mostly with backend development and project architecture. She contributes to some open source projects and organises Cassandra, Neo4j, Science and Rust meetups in Sao Paulo. She enjoys spreading the knowledge and learning new topics in conferences around the world. She also likes coffee, GIFs, Lego and Mathematics.