The State of Full-Stack OCaml (with António Monteiro)
OCaml has one of the best-loved compilers available, and parts of it are surprisingly pluggable, so it’s not surprising that someone would eventually try to wed OCaml with JavaScript and the web browser. In fact, the ecosystem has gone further, and there are now a bevvy of options for people who want to write OCaml and run it in the browser, or want to write OCaml in the browser, or want to write something that looks like JavaScript but runs OCaml on the backend. Joining me to explore the OCaml-meets-JavaScript world is António Montiero. He’s a key maintainer/contributor for Melange and ReasonML, as well as several other interesting OCaml web projects. We kick off by discussing the benefits of OCaml and how it clicked with him personally, before we dive into how and why the compiler is being adapted and tweaked to take it to a whole new audience of web-hungry developers. – Support Developer Voices on Patreon: / developervoices Support Developer Voices on YouTube: / @developervoices Sponsor Antonio’s Work: https://github.com/sponsors/anmonteiro/ – The OCaml Platform: https://ocaml.org/platform OCaml on Discord: https://discuss.ocaml.org/t/ocaml-dis... ReasonML: https://reasonml.github.io/en/ What is Melange? https://melange.re/v4.0.0/what-is-mel... Melange for React Devs: https://react-book.melange.re/ The Melange Playground: https://melange.re/v4.0.0/playground/ js_of_ocaml: https://github.com/ocsigen/js_of_ocaml FUN OCaml Conference: https://fun-ocaml.com/ Kris on Mastodon: http://mastodon.social/@krisajenkins Kris on LinkedIn: / krisjenkins Kris on Twitter: / krisajenkins – 0:00 Intro 1:58 Antonio's OCaml Origin Story 4:41 The Core Benefits of OCaml 6:43 Was There A Moment When It Clicked? 9:14 The OCaml Compiler Ecosystem 20:30 What is Melange? 28:16 Does This Make OCaml A Full-Stack Language? 37:05 What Are The Hardest Parts To Write? 40:01 Replicating OCaml's Module System 55:15 Would WASM Be An Easier Compilation Target? 1:00:30 Can You Write React From OCaml? 1:08:11 Building The Melange Playground 1:14:31 Getting Started With Melange 1:19:36 So What's The Next Step For Melange? 1:25:35 Outro

BOB 2024 Leandro Ostera - Erlang, OCaml, same thing 🤷

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy

Our Student (Adam)

Taking Erlang to OCaml 5 (with Leandro Ostera)

Will Turso Be The Better SQLite? (with Glauber Costa)

Zig Meets the BEAM: Garrison Hinson-Hasty & Isaac Yonemoto on Safer Native Code

Roc - A Functional Language looking for those Software Sweetspots (with Richard Feldman)

Dillon Mulroy - Your next favorite programming language: Gleam // Carolina Code Conference 2024

PyO3: From Python to Rust and Back Again (with David Hewitt)

Open Sauce | Standup #65

Java’s Cutting Edge Comeback (with Josh Long)

Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains

Inflation, Deficits, Interest Rates: Warning, Immediate Danger!

GPUs, from Simulation to Encryption (with Agnès Leroy)

OCaml for Fun & Profit: An Experience Report • Tim McGilchrist • YOW! 2023

Keynote: Benchmarking - It's About Time - Matt Godbolt - C++Now 2026

How Unison is Rethinking Distributed Programming (with Rúnar Bjarnason)

TypeScript 7 Is Here (And It's 10× Faster)

Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson

