Ocaml Articles

Page 1 of 1 (4 articles)

7/10/2026 • EN

Lifting Terms: Making Well Scoped Syntax Dumber

Explores alternative representations for terms in programming languages, moving beyond standard lists to dictionaries, BDDs, and parameterized families.

Abstract Syntax Agda Coq Ocaml Term Rewriting

Philip Zucker

6/27/2026 • EN

The feature in OxCaml that more languages should steal

Explores OxCaml's [@zero_alloc] feature that enforces no heap allocation in functions, comparing it to other languages.

Compiler Assertions Ocaml Oxcaml static analysis Zero Allocation

Phil Eaton

12/18/2025 • EN

AoAH Day 15: Porting a complete HTML5 parser and browser test suite

Anil Madhavapeddy uses AI to port an HTML5 parser and test suite from JavaScript to OCaml, discussing copyright and ethical implications.

ai coding Code Porting Html5 Parser Ocaml Test Suite

Simon Willison

12/1/2018 • EN

A Reason React Tutorial for Beginners [2018]

A beginner's tutorial for building a GitHub Search app using ReasonReact, covering state management and API calls.

functional programming Ocaml React reasonml Reasonreact

Robin Wieruch

Ocaml Articles

Lifting Terms: Making Well Scoped Syntax Dumber

The feature in OxCaml that more languages should steal

AoAH Day 15: Porting a complete HTML5 parser and browser test suite

A Reason React Tutorial for Beginners [2018]

Select Language

We use cookies