~/talk

All Languages are Dynamic

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

Argues that languages are dynamic in multiple, concrete ways: implementations use ZX81 BASIC bytecodes and UCSD Pascal p‑code or JITs, IDEs enable Smalltalk‑78 live edit and immediate updates, and surprisingly modern Haskell environments can still produce runtime “non‑exhaustive pattern” crashes that go away when the missing case is added. Shows live demos where undefined messages crash (message not understood) then continue after a hot patch, and contrasts static surface syntax with dynamic runtime behaviour.

AI-written summary · about

  1. 0:00Dynamic languages intro
  2. 1:08ZX81 BASIC syntax-free
  3. 3:58Static types vs dynamic
  4. 6:09UCSD Pascal bytecode
  5. 8:15Compilation vs interpretation
  6. 9:16Smalltalk 78 classes
  7. 12:27Syntax vs dynamic trade-offs
  8. 15:37Dynamic dispatch inheritance
  9. 16:40Smalltalk meta-class complexity
  10. 18:46Self prototype-based
  11. 19:47JavaScript dynamic objects
  12. 21:11Haskell type errors
  13. 24:25Dynamic type errors
  14. 25:50JavaScript field addition
  15. 26:34Language design patterns
  16. 27:37All languages dynamic
  17. 28:18Q&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.