<

Charlotte Lorelei Oliveira

✨ Brazilian Elixir Idol ✨

Charlotte likes to talk about free open source software, privacy, programming languages, theory and software engineering.

Her work is breaking computers, fixing them and then teaching others about the results.

Upcoming conferences:

Charlotte Lorelei Oliveira
Code BEAM SF 2019

Typed Erlang - from the past to the future

Erlang has been well known for what it has achieved using the actor-message model. Since the 90's there have been a couple tries at giving it a static type system to add another layer of guarantees. In this talk we'll be looking back at those tries, what have they brought to the table and what is the future in research on the field of programming languages theory.

OBJECTIVES

 

  • Presenting the history of Typed Erlang
  • Presenting Dialyzer
  • Introducing Session Types

 

TARGET AUDIENCE

Functional programmers, programming language theorists

Past conferences

Charlotte Lorelei Oliveira
Code BEAM Lite Munich 2018
07 Dec 2018
15.30 - 16.10

How does fault tolerance work in Erlang

Introductory and intermediate level talk explaining how Erlang can isolate its processes and why this is important for fault tolerant systems. The talk will touch on topics such as scheduling processes, the Erlang philosophy behind error handling and how to use supervisors to have a fault tolerant system.

OBJECTIVES

To teach about process isolation in Erlang, actor-message model, how BEAM has control over the processes execution and how scheduling processes work.