Tomas Petricek

Not just a computer scientist

Tomas is an academic, open-source developer and a book author. He is a lecturer at University of Kent and works on making programming with data easier. He also studies history of programming and writes about it from a philosophical perspective. Previously, Tomas wrote a popular F# book "Real-World Functional Programming", helped to create a number of F# open-source libraries such as F# Data and created coeffects (, a theory of context aware programming languages. His most recent work includes programming tools for data journalism (, but also three essays that understand programming concepts such as types, monads and errors from philosophical perspective (

Live coding environments run your program on-the-fly as you write it. This makes development easier, but it is a challenge for compiler writers - textbook compiler architecture does not work for live coding systems. I’ll show interesting aspects of a live coding environment for The Gamma, its functional F# implementation and explain how the compiler differs from textbook examples. Along the way, you'll see practical code samples interesting for both web developers and programming language enthusiasts.

Video ←Back