~/talk

Gouki Scheme: An Embedded Scheme Implementation for Async Rust

Talkat Scheme 2025 · on Thursday, 2025-10-16· [rust]
links:none on file
slides:none on file

Gouki Scheme is an R6RS implementation embedded in async Rust that compiles Scheme to CPS and JITs it (swapping LLVM for a Cranelift-style pipeline) to produce function pointers usable from Rust. It supports call-with-current-continuation, dynamic-wind, exception handlers, records and full tail-call optimization; Rust functions expose two modes—direct style via procedural macros (continuation barriers) or full CPS with access to a continuation, exception handler and concurrent cycle collector. Benchmarks show reasonable performance on small integrators, correct call/cc behavior, and a surprising win on a 100,000th Fibonacci run.

AI-written summary · about

  1. 0:00Welcome to Gouki Scheme
  2. 0:44What is Rust and Scheme
  3. 1:48Goals of Gouki Scheme
  4. 3:37Why not existing Scheme
  5. 5:43Bridging Rust and Scheme
  6. 8:10Continuation passing style
  7. 13:55Unified function pointers
  8. 15:22Converting Rust types
  9. 19:46Benchmarking performance
  10. 22:40Q&A
~/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.