Skip to content

Latest commit

 

History

History
 
 

mk-workshop-2024

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
01-example.rkt
01-example.rkt
 
 
02-example-core.rkt
02-example-core.rkt
 
 
03-mk-core.rkt
03-mk-core.rkt
 
 
04-mk-with-binding.rkt
04-mk-with-binding.rkt
 
 
05-example-with-binding.rkt
05-example-with-binding.rkt
 
 
06-mk-with-sugar.rkt
06-mk-with-sugar.rkt
 
 
07-example-with-sugar.rkt
07-example-with-sugar.rkt
 
 
08-mk-compiled.rkt
08-mk-compiled.rkt
 
 
09-example-compiled.rkt
09-example-compiled.rkt
 
 
10-mk-with-check.rkt
10-mk-with-check.rkt
 
 
11-example-with-check.rkt
11-example-with-check.rkt
 
 
12-example-matche.rkt
12-example-matche.rkt
 
 
13-routes.rkt
13-routes.rkt
 
 
14-foreign.rkt
14-foreign.rkt
 
 
15-foreign-extension.rkt
15-foreign-extension.rkt
 
 
16-occurs-check.rkt
16-occurs-check.rkt
 
 
README.md
README.md
 
 
compile-with-check.rkt
compile-with-check.rkt
 
 
compile.rkt
compile.rkt
 
 
flights-data.rkt
flights-data.rkt
 
 
mk-workshop-2024.pdf
mk-workshop-2024.pdf
 
 
runtime.rkt
runtime.rkt
 
 

README.md

syntax-spec and hosted-minikanren demo at the 2024 miniKanren workshop

This folder contains the slides and code examples from my talk "Hosted miniKanren: reconciling optimizing compilation and extensibility" (video) at the 2024 miniKanren workshop.

The talk steps through the process of building a miniKanren implementation with syntax-spec, and shows off the way that our hosted-miniKanren implementation benefits from the combination of macro-extensibility, optimizing compilation, and host-language interaction that syntax-spec enables.

The files are named according to their order in the demo. Those from 12-example-matche.rkt on rely on having hosted-miniKanren installed, as well.