~/talk

The origin of the feature

Talkat GeeCON 2023 · 2023-04-19..04-21· [compilers-and-language-design]
links:none on file
slides:none on file

Explains where language features come from, lists six concrete traits used to judge them (Improvement, Simplicity, Uniqueness, Discoverability, Composability, Tooling footprint), and shows real evidence: Scala examples like dependent types that prevent sending borrower.event to lender, a refinement-inferred GraphQL library reimplemented live in 45 minutes to give compile-time field safety, and the refactor of Scala 2 implicits into given/using/extension in Scala free. Argues most “new” ideas trace to older research and that AI will cut boilerplate but raise the value of safety and guidance.

AI-written summary · about

  1. 0:00Introduction and speaker background
  2. 1:12What is a language feature?
  3. 5:10Boilerplate and safety examples
  4. 7:42Guidance and maintainability features
  5. 12:18Traits of a good feature
  6. 24:08Bad design: Scala 2 implicits
  7. 31:33Reality: Intuitiveness and type systems
  8. 39:23Language evolution and convergence
  9. 43:18Future of programming languages
  10. 45:51AI and language design trade-offs
  11. 46:11Why Scala in 2023?
  12. 47:36Q&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.