package Ġcom . pe ach ou . kotlin . types . null ables Ċ Ċ import Ġjava . io . File Ċ Ċ fun Ġmain () Ġ{ Ċ // ĠĠĠ Ġvar Ġnon Null : ĠString Ġ= Ġ" Hello " Ċ // ĠĠĠ Ġ// Ġnon Null Ġ= Ġnull Ċ // ĠĠĠ Ġval Ġlength Ġ= Ġnon Null . length ĊĊĠĠĠ Ġvar Ġnullable : ĠString ? Ġ= Ġ" Hello " ĊĠĠĠ Ġ// val Ġlength Ġ= Ġnullable ?. length ĊĠĠĠ Ġval Ġlength Ġ= Ġnullable ?. length Ġ?: Ġ 0 Ġ// el vis Ġ Ġboolean ? Ġa Ġ: Ġb ĊĊĊĊĊĊĊĊ ĊĊĊĊ ĊĊĊĊĠĠĠ Ġvar Ġx : ĠString Ġ= Ġ" Hello " ĊĠĠĠ Ġvar Ġy : ĠString ? Ġ= Ġ" World " Ċ Ċ // ĠĠĠ Ġx Ġ= Ġy Ġ// ĠType Ġmismatch ĊĠĠĠ Ġy Ġ= Ġx Ġ// ĠOK ĊĊĠĠĠ Ġvar Ġa : ĠInt Ġ= Ġ 2 ĊĠĠĠ Ġvar Ġb : ĠNumber Ġ= Ġ 1 0 . 0 Ċ Ċ // ĠĠĠ Ġa Ġ= Ġb Ġ// ĠType Ġmismatch ĊĠĠĠ Ġb Ġ= Ġa Ġ// ĠOK ĊĊĊĊĊĊĊĊ ĊĊĊĊ ĊĊĠĠĠ Ġval Ġperson Ġ= ĠPerson () ĊĠĠĠ Ġval Ġtitle Ġ= Ġperson . title ĊĊĠĠĠ Ġval Ġtitle Length Ġ= Ġtitle ?. length ĊĊĠĠĠ Ġval Ġfile Ġ= ĠFile (" abc ") ĊĊĠĠĠ Ġval Ġfiles Ġ= Ġfile . list Files () ĊĠĠĠ Ġprintln ( files . size ) ĊĊĊĊĊĊĊĊ ĊĊĊĊĊĊ Ċ } ĊĊ