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.

    2017 -Notes on Type Theory for absolute beginners EN

    • ► Vidéo
    • #TALK

    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.

    Voir le talk