# Kotlin Type System: Types, Safety, and Type Inference

DevFeed: [Kotlin Type System: Types, Safety, and Type Inference](<https://devfeed.tech/articles/the-beauty-of-kotlin-type-system-39340.md>)

Original publisher: [Read original article](<https://kt.academy/article/kfde-type_system>)

Published: 2023-06-12T00:01:00Z

Content type: tutorial

Language: en

Sources: [Kt. Academy](<https://devfeed.tech/sources/kt-academy.md>)

Topics: [Kotlin](<https://devfeed.tech/topics/kotlin.md>), [Programming](<https://devfeed.tech/topics/programming.md>)

Tags: [kotlin](<https://devfeed.tech/tags/kotlin.md>), [programming](<https://devfeed.tech/tags/programming.md>), [type-system](<https://devfeed.tech/tags/type-system.md>), [workshop-learning-programming](<https://devfeed.tech/tags/workshop-learning-programming.md>)

## AI overview

This tutorial introduces Kotlin's type system, distinguishing types from classes and objects. It explains that Kotlin uses static typing and type inference, and discusses the safety and convenience that types provide.

## Source excerpt

How type system makes Kotlin so flexible, safe, and intuitive.