~/talk

Dekompiled

Talkat J-Fall 2022 · on Thursday, 2022-11-03· [compilers-and-language-design, kotlin]
links:none on file
slides:none on file

Analyzes how Kotlin maps almost every language feature to JVM bytecode — about 40 Kotlin features — by compiling with kotlinc (1.6.x) and decompiling with CFR to inspect strategies. Finds enforcement via kotlin.Metadata D1/D2 plus synthetic runtime checks like Intrinsics.checkParameterIsNotNull, default-arg $default stubs, inline/reified methods inlined to avoid type erasure, ranges lowered to primitive loops, top-level functions placed in a file-named class, and suspend functions that break common decompilers.

AI-written summary · about

  1. 0:00Start
  2. 3:18Agenda
  3. 3:48Kotlin Compilation
  4. 6:42JVM Compilation
  5. 7:51JVM Bytecode
  6. 9:19Analyzed Kotlin Features
  7. 9:55Methodology
  8. 17:50Kotlin features on the JVM
  9. 21:59Vote for Kotlin features
  10. 23:27Operator Overloading
  11. 25:36Named Argument
  12. 28:09reified Keyword
  13. 30:32inline Keyword
  14. 32:08Iterating over Range
  15. 33:39Top-Level Function
~/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.