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
#TALK en Anglais
jeudi 20 avril
14h00 - 14h40

Salle Gosling (S102)

Topics we will cover:

  • Why Type Theory?
  • Quick introduction to logic
  • Where are those concepts used?
  • An analysis of Java Type System

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.


Autres talks de Hanneli

2017 - Rust for Java developers EN

  • ► Vidéo
  • #TALK
  • Hanneli Tavante

A quick introduction to the Rust Language. Code comparisons between Java and Rust, compiler features, type system, environment and integrating the two languages.