Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Kotlin-techtalk_v0.1

Avatar for frostman frostman
February 10, 2012
73
0

 Kotlin-techtalk_v0.1

Avatar for frostman

frostman

February 10, 2012

More Decks by frostman

See All by frostman
kotlin_techtalk
Avatar for frostman frostman
1
110
test
Avatar for frostman frostman
0
52

Featured

See All Featured
Rails Girls Zürich Keynote
Avatar for Gregor Martynus gr2m
96
14k
Leveraging Curiosity to Care for An Aging Population
Avatar for Cassini Nazir cassininazir
1
480
The untapped power of vector embeddings
Avatar for Frank van Dijk frankvandijk
2
1.8k
A Modern Web Designer's Workflow
Avatar for Chris Coyier chriscoyier
698
190k
How to make the Groovebox
Avatar for あそなす asonas
2
2.4k
The agentic SEO stack - context over prompts
Avatar for schlessera schlessera
0
880
A better future with KSS
Avatar for Kyle Neath kneath
240
18k
Navigating Team Friction
Avatar for Lara Hogan lara
192
16k
We Are The Robots
Avatar for Honza Javorek honzajavorek
0
320
The Cost Of JavaScript in 2023
Avatar for Addy Osmani addyosmani
55
10k
AI: The stuff that nobody shows you
Avatar for John Nunemaker jnunemaker
PRO
9
950
Side Projects
Avatar for Sacha Greif sachag
455
43k

Transcript

  1. THE KOTLIN PROGRAMMING LANGUAGE Sergey Lukjanov, 2012 [email protected] 1 Thursday,

    February 9, 12

  2. WHAT IS KOTLIN? 2 Thursday, February 9, 12

  3. WHAT IS KOTLIN? 2 •JVM-targeted Thursday, February 9, 12

  4. WHAT IS KOTLIN? 2 •JVM-targeted •Statically typed Thursday, February 9,

    12

  5. WHAT IS KOTLIN? 2 •JVM-targeted •Statically typed •Object-oriented Thursday, February

    9, 12

  6. WHAT IS KOTLIN? 2 •JVM-targeted •Statically typed •Object-oriented •General purpose

    Thursday, February 9, 12

  7. WHAT IS KOTLIN? 2 •JVM-targeted •Statically typed •Object-oriented •General purpose

    •Programming language Thursday, February 9, 12

  8. WHAT IS KOTLIN? 2 •JVM-targeted •Statically typed •Object-oriented •General purpose

    •Programming language •Docs available today Thursday, February 9, 12

  9. WHAT IS KOTLIN? 2 •JVM-targeted •Statically typed •Object-oriented •General purpose

    •Programming language •Docs available today •Public beta in Q1 2012 Thursday, February 9, 12

  10. OUTLINE 3 Thursday, February 9, 12

  11. OUTLINE 3 •Motivation Thursday, February 9, 12

  12. OUTLINE 3 •Motivation •Design goals Thursday, February 9, 12

  13. OUTLINE 3 •Motivation •Design goals •Feature overview Thursday, February 9,

    12

  14. OUTLINE 3 •Motivation •Design goals •Feature overview •Basic syntax Thursday,

    February 9, 12

  15. OUTLINE 3 •Motivation •Design goals •Feature overview •Basic syntax •Classes,

    types, inheritance Thursday, February 9, 12

  16. OUTLINE 3 •Motivation •Design goals •Feature overview •Basic syntax •Classes,

    types, inheritance •Generics Thursday, February 9, 12

  17. OUTLINE 3 •Motivation •Design goals •Feature overview •Basic syntax •Classes,

    types, inheritance •Generics •High-order functions Thursday, February 9, 12

  18. OUTLINE 3 •Motivation •Design goals •Feature overview •Basic syntax •Classes,

    types, inheritance •Generics •High-order functions •Type-safe Groovy-style builders Thursday, February 9, 12

  19. OUTLINE 3 •Motivation •Design goals •Feature overview •Basic syntax •Classes,

    types, inheritance •Generics •High-order functions •Type-safe Groovy-style builders •Pattern matching Thursday, February 9, 12

  20. MOTIVATION 4 Thursday, February 9, 12

  21. MOTIVATION 4 •IDEA codebase ≥ 200MB of Java-code Thursday, February

    9, 12

  22. MOTIVATION 4 •IDEA codebase ≥ 200MB of Java-code •?? Thursday,

    February 9, 12

  23. MOTIVATION 4 •IDEA codebase ≥ 200MB of Java-code •?? •??

    Thursday, February 9, 12

  24. MOTIVATION 4 •IDEA codebase ≥ 200MB of Java-code •?? •??

    •?? Thursday, February 9, 12

  25. DESIGN GOALS 5 Thursday, February 9, 12

  26. DESIGN GOALS 5 •Full Java interoperability Thursday, February 9, 12

  27. DESIGN GOALS 5 •Full Java interoperability •Compiles as fast as

    Java Thursday, February 9, 12

  28. DESIGN GOALS 5 •Full Java interoperability •Compiles as fast as

    Java •Safer than Java Thursday, February 9, 12

  29. DESIGN GOALS 5 •Full Java interoperability •Compiles as fast as

    Java •Safer than Java •More concise than Java Thursday, February 9, 12

  30. DESIGN GOALS 5 •Full Java interoperability •Compiles as fast as

    Java •Safer than Java •More concise than Java •Way simpler than Scala Thursday, February 9, 12

  31. FEATURE OVERVIEW 1/2 6 Thursday, February 9, 12

  32. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees Thursday, February 9,

    12

  33. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) Thursday, February 9, 12

  34. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) •First-class delegation Thursday, February 9, 12

  35. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) •First-class delegation •Properties (instead of fields) Thursday, February 9, 12

  36. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) •First-class delegation •Properties (instead of fields) •Reified generics Thursday, February 9, 12

  37. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) •First-class delegation •Properties (instead of fields) •Reified generics •Declaration-site variance & “Type projections” Thursday, February 9, 12

  38. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) •First-class delegation •Properties (instead of fields) •Reified generics •Declaration-site variance & “Type projections” •High-order functions (“closures”) Thursday, February 9, 12

  39. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) •First-class delegation •Properties (instead of fields) •Reified generics •Declaration-site variance & “Type projections” •High-order functions (“closures”) •Extension functions Thursday, February 9, 12

  40. FEATURE OVERVIEW 1/2 6 •Static null-safety guarantees •Traits (interfaces with

    default impl) •First-class delegation •Properties (instead of fields) •Reified generics •Declaration-site variance & “Type projections” •High-order functions (“closures”) •Extension functions •Inline-functions (zero-overhead closures) Thursday, February 9, 12

  41. FEATURE OVERVIEW 2/2 7 Thursday, February 9, 12

  42. FEATURE OVERVIEW 2/2 7 •Tuples Thursday, February 9, 12

  43. FEATURE OVERVIEW 2/2 7 •Tuples •Modules and build infrastructure Thursday,

    February 9, 12

  44. FEATURE OVERVIEW 2/2 7 •Tuples •Modules and build infrastructure •Pattern

    matching Thursday, February 9, 12

  45. FEATURE OVERVIEW 2/2 7 •Tuples •Modules and build infrastructure •Pattern

    matching •Range expressions Thursday, February 9, 12

  46. FEATURE OVERVIEW 2/2 7 •Tuples •Modules and build infrastructure •Pattern

    matching •Range expressions •String templates Thursday, February 9, 12

  47. FEATURE OVERVIEW 2/2 7 •Tuples •Modules and build infrastructure •Pattern

    matching •Range expressions •String templates •Singletons Thursday, February 9, 12

  48. FEATURE OVERVIEW 2/2 7 •Tuples •Modules and build infrastructure •Pattern

    matching •Range expressions •String templates •Singletons •Operator overloading Thursday, February 9, 12

  49. FEATURE OVERVIEW 2/2 7 •Tuples •Modules and build infrastructure •Pattern

    matching •Range expressions •String templates •Singletons •Operator overloading •Full-featured IDE by JetBrains Thursday, February 9, 12

  50. CODE EXAMPLES 8 Thursday, February 9, 12

  51. HELLO, WORLD! package hw.simple fun main(args : Array<String>) : Unit

    { println("Hello, World!"); } fun println(str : String) /* : Unit */ { System.out?.println(str); } 9 Thursday, February 9, 12

  52. HELLO, <NAMES>! 10 Thursday, February 9, 12

  53. TYPES HIERARCHY 11 Any? Any Int? Int Complete lattice ...

    supremum infimum Thursday, February 9, 12