Kotlin: What and Why

Keywords

ver. 1.0.0

Introduction to Kotlin: concise, safe, pragmatic, statically typed with inference, enriched by functional ideas, suited to server/Android/DSLs, and compiled to JVM bytecode.

This unit gives a compact introduction to Kotlin’s character and capabilities. You will learn to read a short Kotlin program and spot the concise features (data classes, default parameters, lambdas, string templates), understand how static typing combines with type inference, see which functional elements Kotlin adopts and why, place Kotlin in its main application areas (server-side, Android, DSLs), state the language’s four design commitments (pragmatic, concise, safe, interoperable), and describe the compilation pipeline that produces ordinary JVM bytecode plus a small runtime library.

Full summary

This unit explains what Kotlin is and what you can do with it.

You will be able to read a short Kotlin program and identify the language features that make it compact and expressive: concise data-holder declarations, default parameter values, collection queries with lambdas, and string templates. These visible features are examples of the broader design goal: keep code short so the reader sees intent.

You will understand Kotlin’s type model: it is statically typed (every expression has a compile-time type) while minimizing annotation burden through type inference, so common declarations like val x = 1 are fully typed without an explicit type name. That combination preserves the benefits of static typing—tooling, correctness, and performance—without the boilerplate.

You will be able to describe the functional programming ingredients Kotlin embraces—first-class functions (lambdas), pervasive immutability, and reduced side effects—and explain the practical benefits they bring: greater conciseness, safer concurrent code, and easier testing. Kotlin deliberately mixes object-oriented and functional styles so you can use whichever fits the problem.

You will be able to place Kotlin in its main application areas: server-side and backend services (where it runs wherever Java runs), Android development (where concision and null-safety reduce crashes and boilerplate), and domain-specific languages (DSLs) where Kotlin’s syntax and higher-order functions let libraries look and feel like new syntax (for example, HTML builders and embedded query DSLs).

You will be able to state the four philosophical commitments that guide Kotlin’s design—pragmatic (solve real problems using proven ideas), concise (remove boilerplate so intent is clear), safe (type system prevents common errors such as nulls), and interoperable (seamless two-way use with existing Java code)—and point to language features as evidence of each commitment.

Finally, you will be able to describe how Kotlin is compiled: .kt source files are processed by the Kotlin compiler (kotlinc) to produce ordinary JVM .class files and bytecode, packaged and run like any Java artifact; applications include a small Kotlin runtime library to provide language-support functionality. With that understanding you can explain Kotlin’s value proposition and are ready to begin hands-on work with its basic syntax—functions, variables, classes, control flow, and exceptions.

Materials

Lecture notesThe unit written out, to read at your own paceOpen → SlidesThe deck to present fromOpen →

Source document

Kotlin in Action, Second Edition, Sebastian Aigner, Roman Elizarov, Svetlana Isakova, and Dmitry Jemerov, Manning, April 2024 — Link — Page 6-20

Kotlin Basics →

--- title: "Kotlin: What and Why" keywords: - ver. 1.0.0 format: html: toc: false --- **Introduction to Kotlin: concise, safe, pragmatic, statically typed with inference, enriched by functional ideas, suited to server/Android/DSLs, and compiled to JVM bytecode.** > This unit gives a compact introduction to Kotlin's character and capabilities. You will learn to read a short Kotlin program and spot the concise features (data classes, default parameters, lambdas, string templates), understand how static typing combines with type inference, see which functional elements Kotlin adopts and why, place Kotlin in its main application areas (server-side, Android, DSLs), state the language's four design commitments (pragmatic, concise, safe, interoperable), and describe the compilation pipeline that produces ordinary JVM bytecode plus a small runtime library. ::: {.callout-note collapse="true" title="Full summary"} This unit explains what Kotlin is and what you can do with it. You will be able to read a short Kotlin program and identify the language features that make it compact and expressive: concise data-holder declarations, default parameter values, collection queries with lambdas, and string templates. These visible features are examples of the broader design goal: keep code short so the reader sees intent. You will understand Kotlin's type model: it is statically typed (every expression has a compile-time type) while minimizing annotation burden through type inference, so common declarations like `val x = 1` are fully typed without an explicit type name. That combination preserves the benefits of static typing—tooling, correctness, and performance—without the boilerplate. You will be able to describe the functional programming ingredients Kotlin embraces—first-class functions (lambdas), pervasive immutability, and reduced side effects—and explain the practical benefits they bring: greater conciseness, safer concurrent code, and easier testing. Kotlin deliberately mixes object-oriented and functional styles so you can use whichever fits the problem. You will be able to place Kotlin in its main application areas: server-side and backend services (where it runs wherever Java runs), Android development (where concision and null-safety reduce crashes and boilerplate), and domain-specific languages (DSLs) where Kotlin's syntax and higher-order functions let libraries look and feel like new syntax (for example, HTML builders and embedded query DSLs). You will be able to state the four philosophical commitments that guide Kotlin's design—pragmatic (solve real problems using proven ideas), concise (remove boilerplate so intent is clear), safe (type system prevents common errors such as nulls), and interoperable (seamless two-way use with existing Java code)—and point to language features as evidence of each commitment. Finally, you will be able to describe how Kotlin is compiled: `.kt` source files are processed by the Kotlin compiler (kotlinc) to produce ordinary JVM `.class` files and bytecode, packaged and run like any Java artifact; applications include a small Kotlin runtime library to provide language-support functionality. With that understanding you can explain Kotlin's value proposition and are ready to begin hands-on work with its basic syntax—functions, variables, classes, control flow, and exceptions. ::: ## Materials ::: {.hg-deck} <a class="hg-card" href="notes.qmd">Lecture notesThe unit written out, to read at your own paceOpen →</a> <a class="hg-card" href="slides.qmd">SlidesThe deck to present fromOpen →</a> ::: ## Source document - Kotlin in Action, Second Edition, _Sebastian Aigner, Roman Elizarov, Svetlana Isakova, and Dmitry Jemerov_, Manning, April 2024 — [Link](https://www.manning.com/books/kotlin-in-action-second-edition) — Page 6-20 ::: {.hg-nav} [Kotlin Basics →](../2_kotlin_basics/index.qmd){.hg-next} :::