Speaker 2017

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.

Custom

Rust for Java developers

2017EN#Talk

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

Notes on Type Theory for absolute beginners

2017EN#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.