Kotlin - system typów

Na drugim spotkaniu o Kotlinie przyjrzymy się bliżej jego systemowi typów. Ów system z jednej strony czerpie inspirację ze scali dodając takie typy jak Nothing czy Unit , a z drugiej zaś w sposób nowatorski wkomponowuje wszechobecny w Javie null jako unię z pozostałymi typami.

Plan :

• prześledzimy i zrozumiemy jakie udogodnienia daje podejście do reprezentacji nuli jako unii typów

• jako ćwiczenie zbudujemy sobie sami taki typ używając ciekawego słówka sealed

• w odróżnieniu od Javy w kotlinie if i inne wyrażenia zwracają konkretną wartość a więc mają swój typ. Jak sobie poradzić w sytuacji gdy if rzuca wyjątek?

• przyjrzymy się również jak działa inteligentniejsze rzutowanie typów aniżeli to w Javie

REPO : https://github.com/PawelWlodarski/kotlin-workshops

TEORIA :

https://pawelwlodarski.gitbooks.io/kotlin-workshops/content/types/null-unions.html

https://pawelwlodarski.gitbooks.io/kotlin-workshops/content/types/expressions-and-values.html

Dla tych, którzy pierwsza raz wyciągają repo - odpalcie raz : ClassesInKotlin.kt i sprawdźcie czy nie ma błędów.

W razie pytań jestem do dyspozycji.