Hey! I'm a software developer based in France. I've been passionate about programming language theory for over 5 years now.

I write compilers and sometimes blog about it.

I build compilers as a hobby, mostly for fun and learning purposes. My favorite study fields are type systems, optimization techniques, code generation, and language design.

Plume

fn welcome<A extends show>(name: A) {
  println("Hello, $name!")
}

welcome("world")
welcome(42)

Bonzai

require "std:foundation"

fn fib(n: int): int => {
  if n <= 1 then {
    return n
  }

  return fib(n - 1) + fib(n - 2)
}

print(fib(30))

Reality

fn main() -> i32 {
    println("Hello, Reality!");
    
    return 0;
}

My articles

A selection of articles I've written about programming languages, illustrated with code examples.

Dealing with untyped closure conversion

A step-by-step guide to implementing untyped closure conversion in a functional programming language.

Read this article

Implementing type inference from scratch

A step-by-step guide to implementing type inference from scratch in a functional programming language.

Read this article