15/11/2025 –, A303
Web programming is genuinely exciting. It offers fast feedback loops and an almost infinite range of possibilities, combining algorithms, UI, and UX.
Unfortunately—or fortunately—the complexity of the web has exploded, diversifying the range of professions, piling on layers of technology and heterogeneous tools, and sometimes giving gray hairs to those of us who love static verification!
In this presentation, I’ll introduce you to Ocsigen—a free software stack born from ambitious research, resulting in a fascinating industrial framework that, at the dawn of the modern web, addressed problems that would only become widespread years later.
It features pervasive typing, compilation to JavaScript (and later to WebAssembly), client/server slicing for flexible real-time interactions, typed RPC, sophisticated session management by scope, and more. Ocsigen is a futuristic UFO of a framework, and I’m delighted to introduce it to you!
J'aime beaucoup la programmation fonctionnelle, les systèmes de types, le web et ... le café de spécialité !Je travaille chez Tarides, à l'implémentation du langage OCaml et de son écosystème!