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

Kotlin-techtalk_v0.1

Avatar for frostman frostman
February 10, 2012
0
72

 Kotlin-techtalk_v0.1

Avatar for frostman

frostman

February 10, 2012
Tweet

More Decks by frostman

See All by frostman
kotlin_techtalk
Avatar for frostman frostman
1
100
test
Avatar for frostman frostman
0
50

Featured

See All Featured
Product Roadmaps are Hard
Avatar for C. Todd Lombardo iamctodd
PRO
54
11k
Making Projects Easy
Avatar for Brett Harned brettharned
118
6.4k
Learning to Love Humans: Emotional Interface Design
Avatar for Aarron Walter aarron
274
40k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
36
2.5k
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
407
66k
Helping Users Find Their Own Way: Creating Modern Search Experiences
Avatar for Dan Newman danielanewman
30
2.9k
Visualization
Avatar for Eitan Lees eitanlees
148
16k
Building Applications with DynamoDB
Avatar for Matt Wood mza
96
6.6k
A better future with KSS
Avatar for Kyle Neath kneath
239
17k
KATA
Avatar for Megan Lloyd mclloyd
32
14k
What’s in a name? Adding method to the madness
Avatar for Product Marketing Alliance productmarketing
PRO
23
3.7k
Fight the Zombie Pattern Library - RWD Summit 2016
Avatar for Marcelo Somers marcelosomers
234
17k

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