JUG Łódź

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