Predicate Dispatch

on YouTube ↗29m

" summary

Presents a working prototype that combines predicate dispatch with high-performance pattern matching by driving the compiler with a logic engine and reusing ideas from Luke Manan and Craig Chambers, implemented as core.logic plus an extensible core.match compiler. Matches on maps, sequences and vectors, reorders tests to produce compressed decision trees, and stays competitive with ML/OCaml/Haskell matchers; explores lazy compilation for JVM and partial support for ClojureScript while noting reordering and redefinition tradeoffs.

AI-written summary · about

" chapters (5)

1. 0:00Start
2. 3:42Pattern Matching
3. 6:11Predicate Dispatch
4. 22:15Open Extension
5. 24:33More Challenges

" related talks

• 08mCompiling pattern matching to in-place modificationsGabriel Radanne, Laure Gonnord, Paul Iannetta · GPCE 2021
• 22mRevisiting Dynamic Dispatch for Modern ArchitecturesDave Mason · VMIL 2023
• 30mA Core Language for Extended Pattern Matching and Binding Boolean ExpressionsArthur Charguéraud, Yanni Lefki · ML 2025
• 23mType-Level Programming with Match TypesMartin Odersky, Olivier Blanvillain, Jonathan Immanuel Brachthuser, Maxime Kjaer · POPL 2022
• 16mContextual Dispatch for Function SpecializationJan Vitek, Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain · OOPSLA 2020
• 27mDynamic Dispatch and Type Inference in FortressDavid Chase · JVM Language Summit 2012
• 23mPattern-matching on mutable values: danger!Gabriel Scherer, Nicholas Roberts, Thomas Refis · ML 2024
• 39mPattern Matching: Small Enhancement or Major Feature?Hanno Embregts, Peter Wessels · Voxxed Days Bucharest 2022