Log of changes on okmij.org
August 2023 through July 2024

July 1, 2024

Folding in Parallel: Representing fold (sequential accumulation, e.g. Horner rule) as map composed with a reduce over a monoid, non-trivially and efficiently. Monoid reduction is embarrassingly parallel.

Nested Grouping-Aggregation: solving a typical data analytics problem by ``coupling programs like garden hose'', and getting efficient solution

Optimizing AXPY with Twists and Turns: added AMD server benchmark results, and further specialized code

Small array DSL embedded in OCaml. Added the code used in the Fall 2023 seminar course, with more explanations, examples, and also operations like tiling and searching.

Generating C: Heterogeneous Metaprogramming -- System Description is published in ``Science of Computer Programming''
Free Variable as Effect, in Practice (extended HOPE'23 paper)
The complete code accompanying Free Variable as Effect, in Practice, also demonstrating the step-wise, feature-by-feature interpreter/compiler development
Compilers: Incrementally and Extensibly: Further, more detailed course notes
The build tool for the compiler class: a specialized version of make written in OCaml and tuned for the step-wise compiler development
QNP Textual Entailment with Polynomial Event Semantics: full paper published in LNCS
Events and Relative Clauses: further development of the polynomial event semantics. Full paper published in LNCS

MetaOCaml Theory and Implementation. New translation from nested quasiquotes to code-generation combinators: efficient, typed, easier to retrofit. It is implemented in the current MetaOCaml N114.

Compilers: Incrementally and Extensibly, a course on compilers built feature-by-feature, and fully in tagless-final style

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