Risposta.

Storia della questione: Kotlin è stato progettato inizialmente come un linguaggio con una sintassi concisa ma fortemente tipizzata. Per aumentare la leggibilità e ridurre la duplicazione del codice è stata implementata una potente inferenza dei tipi.

Problema: A volte la dichiarazione del tipo diventa superflua, complicando il codice. Ma la riduzione eccessiva dei tipi porta a difficoltà di lettura e alla diffusione di errori, se il compilatore non riesce a dedurre il tipo.

Soluzione: L'inferenza dei tipi consente al compilatore di determinare automaticamente la maggior parte dei tipi sulla base dell'inizializzazione o del contesto. Ma la tipizzazione rigorosa continua a controllare la correttezza del codice.

Esempio di codice:

val name = "Kotlin" // String, tipo dedotto automaticamente
var count = 5         // Int, tipo dedotto automaticamente
val items = listOf(1, 2, 3) // List<Int>

// Specifica esplicita del tipo richiesta se l'inferenza non è possibile
val callback: (Int) -> Unit = { println(it) }

Caratteristiche chiave:

Il tipo di una variabile o di un'espressione può essere dedotto dall'inizializzazione o dal contesto della funzione chiamante
Non sempre è possibile dedurre il tipo: il compilatore richiede una dichiarazione esplicita se l'espressione è ambigua
L'inferenza dei tipi non si applica ai tipi di ritorno delle funzioni pubbliche e delle proprietà: il compilatore richiede di specificarli esplicitamente per la stabilità dell'ABI

Domande trabocchetto.

È possibile non specificare il tipo di ritorno per una funzione pubblica?

No, se la funzione è pubblica, il compilatore richiederà una dichiarazione esplicita del tipo di ritorno per la stabilità delle interfacce e il supporto dell'interoperabilità con Java.

Esempio:

// Errore!
public fun compute(x: Int) = x * 2 // Richiesta esplicita: public fun compute(x: Int): Int = x * 2

Qual è il tipo di val x = null?

Il compilatore non riuscirà a dedurre il tipo, poiché null non ha tipo senza contesto. È necessario dichiarare esplicitamente il tipo:

val x: String? = null

L'inferenza dei tipi può funzionare per tipi generici complessi durante l'elaborazione a catena delle collezioni?

Sì, ma se il tipo non può essere dedotto in modo univoco (ad esempio, map trasforma i tipi), a volte sarà necessario specificare esplicitamente il tipo della variabile:

val values = listOf("1", "2").map { it.toInt() } // List<Int>, tipo sarà dedotto

Errori tipici e anti-patterns

Mancanza di tipo esplicito nelle funzioni API pubbliche
Sovraccarico di codice con tipi impliciti, rendendo difficile la lettura
Errore nel tentativo di dedurre un tipo durante l'inizializzazione tramite null

Esempio dalla vita reale

Caso negativo

Nel progetto tutte le variabili sono dichiarate senza specificare il tipo, rendendo difficile la navigazione e la comprensione del codice per altri sviluppatori o nuovi assunti.

Vantaggi:

Meno codice
Più veloce scrivere e rifattorizzare

Svantaggi:

Difficile da leggere e mantenere
Facile sbagliare durante la modifica dell'inizializzazione

Caso positivo

All'interno delle funzioni i tipi delle variabili vengono dedotti automaticamente, ma in tutte le API pubbliche viene sempre specificato esplicitamente il tipo di ritorno e i tipi dei parametri.