Log of changes on okmij.org

May 11, 2023

• BER MetaOCaml, version N114 (multi-staging superset of OCaml 4.14.1)

April 8, 2023

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

March 7, 2023

• Realistic, modular, composable, algebraic optimizations with some correctness guarantees: DAXPY. An advanced example of generating high-performance BLAS code

February 11, 2023

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

January 1, 2023

• 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

December 13, 2022

• New view on plasma fractals, from the high point of Array Languages: FARM 2022 demo

November 1, 2022

• Lambek Grammars for Computer Scientists: half-tutorial

October 7, 2022

• Dired mode for VAX EVE Editor: reminiscence of TPU

September 12, 2022

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

August 8, 2022

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

August 2021 through July 2022

continues in a separate document: ChangeLog-26.html

December 1995 through August 1996

continues in a separate document: ChangeLog-0.html