Log of changes on okmij.org

September 19, 2023

Version 2.1 of Strymonas: greatly expanded back-end (with C99 code-generation, more numeric data types, including complex numbers), static arrays, FFI, and provisions for Wasm

Simple generators in OCaml, with full derivation, and incremental, truly linear pretty-printing

Stack as the variable binding environment: lexical binding via dynamic binding, strict and lazy

Patterns of data flow in words: Learning APL ideas without APL syntax, by implementing an array DSL

Free Variables and Free Effects: An elementary introduction to algebraic effects and handlers, and two different ways of dealing with free variables

Mutable Variables and Reference Types: L-values demystified and deprecated
Generating (mutually) recursive definitions: The first formal model that uniformly treats let-, letrec- and mutually-letrec--insertion, without any continuation or state effects
Embedded two-staged DSL with let-, letrec- and mutual-letrec--insertion in pure plain OCaml
Generating C, the paper
Offshoring, or implicitly heterogeneous metaprogramming
Generating C via a tagless-final embedding of (a subset of) C in OCaml
Complete Stream Fusion for Software-Defined Radio: a strymonas application performance benchmark

Highest-performance Stream Processing: New version of the strymonas library, generating high-performance OCaml and C code from declarative stream pipelines

Tagless-final DSL with lists of various strictness. Measuring the impact of laziness/strictness by counting cons and closures