Durante a implementação de um aplicativo Android utilizando Kotlin, um professor solicitou que seus alunos explorassem recursos da linguagem que promovem concisão, segurança contra valores nulos e interoperabilidade com APIs Java. Ao revisar um trecho de código contendo propriedades imutáveis, tratamento seguro de nulidade e uso de inferência de tipo, os alunos deveriam reconhecer quais elementos refletem corretamente os princípios idiomáticos da linguagem Kotlin. Considerando esse contexto, é correto afirmar que: