Seperti apakah pengertian “aman” dalam sebuah bahasa pemrograman? Apakah “aman” artinya kita bisa membuat aplikasi yang tidak mudah dibobol? Tentu tidak. Ketika seorang programer menuliskan banyak kode untuk membangun aplikasi, akan ada saatnya programer tersebut bertemu dengan beberapa masalah. Masalah yang muncul pun bermacam-macam. Mulai dari kode yang eror, proyek tak berhasil di-build, atau bahkan fitur yang tak berfungsi semestinya. Apakah ini yang akan kita bahas? Tidak, kita belum akan membahas masalah-masalah tersebut di sini.
Dengan berjalannya Kotlin di atas JVM, keamanan dari sisi memori lebih terjamin. Begitu pun keamanan dari sisi masalah lain yang bersumber dari kesalahan penggunaan memori yang dialokasikan secara dinamis. Di samping itu Kotlin juga menjamin bahwa tingkat keamanan lebih tinggi dibandingkan dengan Java. Misalnya, ketika ingin mendeklarasikan sebuah tipe pada Kotlin, baik tipe data, argumen, ataupun lainnya, Kotlin mampu menyimpulkan tipe tersebut secara otomatis. Sehingga kita tidak perlu menuliskannya secara eksplisit. Tentunya ini akan sangat membantu, karena banyak juga masalah yang disebabkan oleh kesalahan deklarasi tipe tersebut.
Lebih dari itu, Kotlin mampu memeriksa kesalahan pada saat kompilasi, sehingga memungkinkan kita untuk mencegah kesalahan tersebut. Yang paling hebat, Kotlin menghilangkan NullPointerException yang sering disebut sebagai “The billion dollar mistake” oleh programer Java. Kotlin membedakan antara objek yang boleh null atau tidak boleh null pada saat objek itu dibuat. Tentunya juga menyediakan beberapa solusi untuk penulisannya. Fitur tersebut dikenal dengan Null Safety. Sebagai contoh, kode berikut:
1. var a : String = "Kotlin" 2. a = null *//kompilasi error*
Secara default, Kotlin mengasumsikan nilai dari sebuah properti tidak boleh null. Oleh karena itu, kode pada baris kedua akan langsung dianggap eror. Namun seringkali kita tidak bisa menghindari bahwa sebuah data ternyata null, apalagi ketika kita mengkonsumsi data yang didapatkan dari server. Kita pun bisa menetapkan sebuah properti nullable dengan menambahkan tanda (?) pada tipe datanya.
1. var a : String? = "Kotlin" 2. a = null
Properti a sekarang bisa ditetapkan sebagai nullable, dan untuk mengaksesnya kita perlu menerapkan sebuah mekanisme untuk menghindari kesalahan kompilasi. Terdapat beberapa cara yang bisa dilakukan. Semuanya akan dibahas pada sub-modul terpisah.
Seperti yang tertulis http://kotlinlang.org dan juga di awal akademi ini, Kotlin termasuk ke dalam bahasa pemrograman statically typed. Artinya setiap ekspresi di dalam sebuah program dapat dikenali pada saat kompilasi. Kompiler juga bisa memastikan bahwa semua fungsi yang ingin diakses terdapat pada objek yang digunakan. Hal ini berbeda dengan beberapa bahasa pemrograman lain yang juga berjalan di atas JVM seperti Groovy dan JRuby. Kedua bahasa tersebut termasuk ke dalam bahasa pemrograman dynamically typed.
Di sisi lain, jika dibandingkan dengan Java yang juga merupakan bahasa pemrograman statically typed, Kotlin memungkinkan kita untuk tidak menuliskan tipe variabel secara eksplisit. Ini akan menghindarkan kita dari kesalahan seperti salah menuliskan tipe data atau yang lainnya. Sebagai contoh:
1. val company = "dicoding"
Tanpa menuliskan tipe data String secara eksplisit, kompiler secara otomatis akan mengetahui bahwa variabel company merupakan sebuah String. Sebabnya, variabel tersebut diisi dengan nilai String. Tentunya ini juga membuat kode yang dituliskan menjadi lebih ringkas. Fitur tersebut dinamakan dengan type inference, yaitu sebuah mekanisme yang dijalankan oleh kompiler untuk menyimpulkan tipe dari sebuah context.
Selama ini, terdapat banyak perdebatan mengenai statically typed atau dynamically typed yang bagus dalam hal produktivitas. Tentunya banyak juga perbedaan pendapat dari para developer. Keduanya memiliki keunggulan masing-masing. Berikut adalah beberapa keunggulan dari bahasa pemrograman statically typed:
Selain itu, Kotlin juga mendukung function type, yang nanti akan kita pelajari pada sub-modul functional programming.