~/talk

Opening Keynote: New Functional Constructs in Scala 3

Talkat Scale By The Bay 2018 · 2018-11-15..11-17· [scala]
slides:none on file

Scala 3 adds concrete, tested constructs: enums as ADTs/GADTs replace verbose sealed-trait + case-class boilerplate and support Java interop (implementation emerging); extension methods via implicit objects give zero-wrapper infix syntax and make type-class APIs work naturally; opaque types for zero-cost abstraction let code hide representations and enable immutable arrays without boxing. Implicit function types and a TASTy middle end are integrated into the dotty toolchain; feature freeze targets 2019 with a stabilization/release goal around mid‑2020.

AI-written summary · about

  1. 0:00Intro
  2. 3:45Success!
  3. 5:39Why Not Stop Here?
  4. 9:58New Features in Scala 3
  5. 10:31Enumerations
  6. 11:14Java Interop
  7. 15:45Generalized Algebraic Data Types
  8. 18:16Enumeration/ADT Hybrids
  9. 23:16Visibility of Extension Methods
  10. 24:27Extension Methods and TypeClasses
  11. 27:19Higher kinds
  12. 29:22Why Extension Methods?
  13. 29:50Status of Extension Methods
  14. 33:05Immutable Arrays
  15. 34:21Why This Is Important
  16. 35:59Opaque Types and Value Classes
  17. 37:53What About Value Classes?
  18. 39:29Implicit Function Types
  19. 40:47Example: Ensuring
  20. 43:19Tooling
  21. 44:28The Tasty Vision
  22. 47:11Migration to Scala 3
~/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.