~/talk

The next big Thing

Talkat Meeting C++ 2018 · 2018-11-15..11-17· [rust]
slides:none on file

Claim: design by introspection is the practical next big thing because it combines compile‑time queries, does this code compile?, and arbitrary compile‑time processing to adapt libraries instead of forcing rigid policies. Evidence: allocators implemented with introspection drop 45k→12k lines in one language; a checked‑integer prototype compresses doc+tests+code into a single ~3k‑line file and matches hand‑written speed. Problems: C++’s current static_if gives the wrong scope semantics and output generation is missing, so the three required primitives (input introspection, Turing‑complete compile‑time processing, and code‑generation-as-strings) must land for this to scale.

AI-written summary · about

  1. 0:00Introduction and anecdotes
  2. 4:07Future predictions
  3. 10:51The problem of code size
  4. 15:07Concepts vs. Introspection
  5. 23:07Design by introspection
  6. 34:33Implementation requirements
  7. 39:42Optional interfaces
  8. 45:20Criticizing if constexpr
  9. 55:58Checked integers example
  10. 1:08:03Architecture and design
  11. 1:18:24Q&A session
~/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.