Sylvain Henry (Blog)

follow: @[email protected]

Posts

Variant and recursion schemes

About GHC's stability in 2024

Contributions to GHC 9.8

Contributions to GHC 9.6

Contributions to GHC 9.4

Modularizing GHC paper

On the inlining of Integer and Natural operations

Contributions to GHC 9.2

Contributions to GHC 9.0

Stack: building GHC from source

Fast file embedding with GHC!

An answer to "The Trouble with Typed Errors"

Announcing Variant and EADT 2.0

Extensible ADT (EADT)

Heterogeneous collections

Reducing GHC's noise: hiding source and object paths

Announcing haskus-system 0.7

Control Flow in Haskell (3) - Flow with Variant

Control Flow in Haskell (2) - Variant

Control Flow in Haskell (1) - State of the art

Control Flow in Haskell (0) - Introduction

Haskell type system from the ground up (1)

Predefined shared error sets considered harmful

First Experiments With Dependent Types In GHC

libc considered harmful

UNIX philosophy: a praise for functional programming

Continuations avec Scala

Encadrer des geeks

SunBurn : ajouts de caméras, de lumières et de matériaux

SunBurn Ray Tracer - Premières images

Ruby-EFL tutorial