Підсумки

Висновки

Кожна змінна має статичний тип, навіть коли його виведено компілятором, а val забороняє лише повторне присвоєння посилання. Числові типи мають обмежений діапазон, тому переповнення й неточність Double враховують під час вибору типу та порядку операцій. Kotlin не розширює Int до Long неявно, а правило округлення потрібно обирати явно за контрактом задачі. Nullable-типи роблять можливу відсутність значення частиною контракту: ?., ?: і перевірки з розумним приведенням обробляють її безпечно, а !! лише стверджує, що null немає. == порівнює значення, === – тотожність посилань. if і when є виразами, тому результат має бути визначений на всіх шляхах, а межі гілок перевіряють сусідніми значеннями. Діапазони, цикли, break, continue і мітки задають завершення обходу, яке повинно бути очевидним. Надійну програму перевіряють таблицею граничних випадків та інваріантом циклу, а не одним вдалим запуском.

Питання для самоперевірки

1. Чому val не означає, що будь-який об’єкт незмінний?
2. Коли потрібно розширити Int до Long?
3. Чим null відрізняється від порожнього рядка?
4. Чому !! не є перевіркою вводу?
5. Які умови потрібні для smart cast?
6. Чим == відрізняється від ===?
7. Коли права межа діапазону не включається?
8. Як сформулювати інваріант накопичувального циклу?