<

Ilya Klyuchnikov

Software engineer @ WhatsApp, Facebook

Ilya has recently joined WhatApp to work on Erlang. Before WhatsApp, he was busy at Facebook for 3.5 years working in the space of build systems.

Ilya has a PhD in computer science (analysing functional programs by means of supercompilation), he applied ideas of supercompilation in practice to the automatic inference of annotations from Java bytecode in IntelliJ.

Upcoming Activities

Ilya Klyuchnikov
Code BEAM STO

Evolving Erlang with a type system

TALK LEVEL: INTERMEDIATE / ADVANCED

Ilya will present an approach of evolving Erlang into a language with an optional compile-time type checking. He argues that in order to get a simple and elegant type system some changes to the language are needed. Ilya will formulate key principles for designing such a type system for Erlang and present an ML-based type system with row polymorphism (polymorphic records and variants) and type inference.

THIS TALK IN THREE WORDS

Static

Typing

OBJECTIVES

To explain how explicit strong static type system with type inference would benefit Erlang developers, and how we are going to implement a compiler that does type checking.

TARGET AUDIENCE

Erlang and Elixir programmers, programming languages enthusiasts.