~/talk

A New Match Compiler for Standard ML of New Jersey

on YouTube 17m
Talkat ML 2022 · on Thursday, 2022-09-15· [compilers-and-language-design]

speaker

name:David MacQueen
links:none on file

resources

video:https://youtu.be/N47m05zWG1c
slides:none on file

summary

Replaces a 30‑year‑old match compiler with a reimplementation that builds an and/or tree, extracts a decision tree via an ordered frontier worklist, then emits compiler AST; supports modern SML/NJ internals and ties into the LLVM backend work done earlier. Implementation lives on GitHub, focuses on tunable heuristics for frontier ordering to reduce redundancy, and is production‑ready—shipped Dec 2021 in the development branch and in release 21.22.1.

AI-written summary · about

chapters (5)

  1. 0:00Start
  2. 2:18Implementation Strategies for Pattern Matching
  3. 8:45Building And-Or Trees
  4. 10:25Extracting a Decision Tree
  5. 14:15Generating Abstract Syntax

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.