~/talk

The importance of facing outwards: why dynamic languages can and should address th...

Talkat DLS 2023 · on Tuesday, 2023-10-24
slides:none on file

Argues that dynamic languages should be outward-facing and demonstrates a working Python runtime that calls libpng without writing C wrappers by using an Alo memory runtime that models the address space, allocations, and typed leaves so code treats on-disk or foreign objects like native values. Proposes removing the VM’s fixed object representation, unbundling GC, using wideband data descriptions (Datascript-style) and dynamic compilation to recover speed, and sketches federated objects, debugger-style evaluation, type-provider liftings, and safe interop with static systems like Rust borrow checking rather than a separate glue layer.

AI-written summary · about

  1. 0:00Introduction
  2. 2:03Dynamic languages and glue code
  3. 6:16Virtual machine paradigm trap
  4. 10:33Outward-facing programming systems
  5. 15:12Outward-facing language features
  6. 18:21Eliminating intermediate representations
  7. 20:47Core language design assumptions
  8. 21:30Q&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.