Static Typing dan Dynamic Typing: Apa Bedanya?

Kalau ngomongin pemrograman, kita pasti nggak bisa lepas dari yang namanya variabel. Nah, dalam cara penulisannya, ada dua kubu yang paling populer: static typing (statically typed) dan dynamic typing (dynamically typed). Kira-kira apa sih bedanya dan mana yang lebih cocok buat kebutuhan kalian? Yuk, kita bedah bareng-bareng! 😎

Static Typing

Static typing atau gaya penulisan statis ini merujuk pada bahasa pemrograman yang tipe datanya nggak bisa diubah-ubah setelah ditentukan. Hal ini terjadi karena semua variabel wajib diketahui tipenya waktu proses kompilasi (compile time). Jadi, sebelum program kalian berjalan, kompiler bakal memeriksa semua tipe data buat memastikan nggak ada yang salah alamat.

Beberapa contoh bahasa pemrograman yang pakai gaya static typing ini adalah C++, Go, Pascal, dan Java. Mari kita lihat apa saja karakteristik, kelebihan, serta kekurangannya!

Karakteristik

Gaya static typing ini biasanya melekat erat pada bahasa pemrograman yang dikompilasi (compiled languages). Sebagai developer, kalian biasanya diwajibkan buat mendeklarasikan tipe data secara eksplisit pas bikin variabel. Sekali tipe datanya ditentukan, dia bakal bersifat permanen dan nggak bisa diubah-ubah lagi di tengah jalan.

Contohnya dalam bahasa Java:

int angka = 90;       // variabel bertipe int
String nama = "inva"; // variabel bertipe String

Di kode Java atas, baik variabel angka maupun nama selamanya bakal memegang tipe data itu. Kalau kalian iseng mau masukin tipe data lain yang nggak cocok, kompiler pasti langsung teriak error tipe data (type error). Contohnya kayak gini:

int angka = "satu"; // error tipe data
String nama = 12;   // error tipe data

Walaupun tipe datanya nggak bisa diubah langsung, kebanyakan bahasa pemrograman tetap menyediakan fitur buat mengonversi data yang ada ke tipe data lain tanpa mengubah tipe variabel aslinya. Biasanya kita bisa pakai teknik type casting atau parsing.

double pecahan = 3.14d;
int bulat = (int) pecahan; // typecasting double ke int

String stringAngka = "12";
int angka = Integer.parseInt(stringAngka); // parsing string ke int

Tapi tenang aja, ada juga kok bahasa statically typed yang pintar dan nggak mengharuskan kita buat menulis tipe data secara manual di setiap baris. Bahasa-bahasa ini bisa mendeteksi tipe data secara implisit lewat nilai yang kita masukkan. Contoh terkenalnya yaitu Go. Coba perhatikan sintaks ini:

var a int = 12 // tipe data int dideklarasikan secara eksplisit
var b = 12     // tipe data int dideteksi secara implisit dari nilainya
c := 12        // versi singkatnya

Kelebihan

• Meminimalisir bug — Pengecekan tipe data oleh kompiler dari awal bisa menyelamatkan kita dari bug sepele terkait salah tipe data. Kalau ada tipe yang nggak cocok, kompiler bakal langsung ngasih tahu sebelum program dijalankan.
• Self-documented code — Kehadiran tipe data di setiap variabel bikin kode kita lebih mudah dipahami secara visual. Kita jadi tahu pasti variabel itu buat apa, sehingga proses pengembangan (scaling) program juga jadi lebih lancar.
• Meningkatkan Developer Experience (DX) — Fitur IDE keren seperti code completion dan auto-suggestion bisa berjalan maksimal. Ini karena IDE sudah tahu tipe data dari objek yang sedang kita ketik.
• Performa lebih cepat — Karena pengecekan tipe data sudah beres pas tahap kompilasi, komputer nggak perlu lagi mikirin tipe data pas programnya jalan (runtime). Hasilnya, performa aplikasi jadi jauh lebih kencang.

Kekurangan

• Penulisan kode terasa lambat — Kita harus meluangkan waktu ekstra buat merencanakan, menulis, dan merapikan tipe data. Buat kalian yang suka serba cepat, proses ini mungkin terasa agak menghambat produktivitas.
• Kurang fleksibel dalam manipulasi data — Karena variabel nggak bisa sembarangan diisi tipe data yang berbeda, kita kadang butuh langkah ekstra (seperti konversi manual) buat mengolah data tersebut.

Dynamic Typing

Nah, kalau static typing sering kita temui di bahasa yang dikompilasi, dynamic typing biasanya jadi andalan bahasa pemrograman yang diinterpretasikan (interpreted languages). Gaya penulisan dinamis ini membebaskan kita buat bikin variabel sesuka hati tanpa perlu pusing mikirin deklarasi tipe datanya terlebih dahulu.

Bahasa pemrograman yang menggunakan gaya dynamic typing antara lain Python, JavaScript, Ruby, PHP, dan Perl. Mari kita lihat karakteristik serta plus minusnya! 🚀

Karakteristik

Kebalikan dari static typing, saat memakai gaya penulisan dinamis kita bebas membuat variabel tanpa perlu menuliskan tipe datanya secara manual. Interpreter dari bahasa tersebut yang bakal mendeteksi dan menentukan tipenya secara otomatis pas program berjalan (runtime).

Contoh gampangnya di bahasa Python:

angka = 90    # variabel otomatis bertipe int
nama = "inva" # variabel otomatis bertipe string

Hebatnya lagi, isi dari variabel tersebut bisa berubah-ubah tipe datanya kapan saja sesuai kebutuhan kita. Interpreter bakal langsung memperbarui tipenya saat kita memberikan nilai (assignment) baru.

Oya, dalam dunia dynamic typing, ada dua cara implementasi terkait cara bahasa tersebut mengolah data: strongly typed dan weakly typed.

Bahasa pemrograman dengan kategori strongly typed nggak bakal mengizinkan kita melakukan operasi antara dua tipe data yang berbeda tanpa konversi manual. Kalau kalian coba-coba melakukannya, program bakal langsung melempar error. Contoh bahasa tipe ini adalah Python dan Ruby:

a = 1 + "satu"      # Bakal muncul error di sini!
b = str(1) + "satu" # Harus dikonversi secara manual dulu biar jalan

Sedangkan untuk weakly typed languages, interpreter-nya lebih cuek dan membolehkan kita mengoperasikan dua tipe data berbeda secara langsung. Sistem bakal otomatis mengonversi tipe datanya di balik layar. Contohnya adalah JavaScript dan PHP:

let a = 1 + "satu"; // Hasilnya malah '1satu'
let b = true && []; // Hasilnya []
let c = !![];       // Hasilnya true (mulai bikin pusing kan? hehe)

Kelebihan

• Penulisan kode jauh lebih cepat — Karena nggak usah ribet menulis tipe data buat setiap variabel, kita bisa fokus penuh ke logika program. Hal ini bikin proses penulisan kode terasa lebih ringkas dan gesit.
• Alur logika lebih fleksibel — Variabel yang bisa berubah tipe membuat kita bisa memakai variabel yang sama untuk menyimpan data yang berbeda formatnya. Tapi ingat ya, sebaiknya hindari trik ini kalau nggak mau kode kalian jadi membingungkan!

Kekurangan

• Rentan terkena runtime error — Karena nggak ada proses kompilasi awal buat menyaring tipe data yang salah, potensi munculnya type error pas program dijalankan di server atau di HP user jadi lebih besar.
• Kode susah dibaca pas project membesar — Absennya informasi tipe data yang jelas sering kali bikin kita bingung sendiri saat membaca kode lama. Kita terpaksa harus sangat teliti dalam menamai variabel atau rajin-rajin nulis dokumentasi biar nggak pusing.
• Kecepatan eksekusi relatif lambat — Komputer harus sibuk mendeteksi dan mencocokkan tipe data secara berkala pas program berjalan. Itulah kenapa bahasa dinamis biasanya nggak secepat bahasa statis.

Singkatnya...

Jadi, intinya perbedaan kedua kubu ini ada pada waktu pengecekan tipe datanya:

1. Static typing (Statis): Kita wajib mendaftarkan tipe data pas bikin variabel, dan pengecekannya dilakukan sebelum program dijalankan (compile time).
2. Dynamic typing (Dinamis): Kita bebas menulis kode tanpa ribet mendeklarasikan tipe data, dan pengecekannya baru berjalan pas program dieksekusi (runtime).

Nah, kalau kalian sendiri lebih suka pakai bahasa pemrograman yang static atau dynamic nih? Apa alasannya? Coba bagiin cerita kalian di kolom komentar ya!

Selamat berkoding ria 👋