AI Memenangkan Perang TypeScript
Debat telah berakhir. TypeScript tidak menang karena argumen yang lebih baik. Ia menang karena alat-alat AI membuat debat tersebut menjadi tidak relevan.
Para peneliti menemukan pola kunci. Sebagian besar kegagalan kompilasi pada kode yang dihasilkan AI adalah ketidakcocokan tipe (type mismatches). Ini bukan kesalahan logika. Ini adalah kesalahan sederhana di mana bentuk fungsi atau argumennya salah.
AI menghasilkan kode dengan cepat dengan mengikuti pola. AI tidak memiliki model mental yang lengkap tentang seluruh basis kode Anda. Manusia mungkin menemukan kesalahan tipe melalui pengalaman. Pemeriksa tipe (type checker) menemukannya secara instan tanpa konteks apa pun.
Pengetikan statis (static typing) bukan lagi sekadar pilihan gaya. Ini adalah alat keamanan untuk kode yang ditulis oleh AI.
Lihat bagaimana hal ini memengaruhi pekerjaan harian Anda:
Basis kode dinamis dengan AI:
- AI menulis fungsi.
- Tipe bersifat implisit.
- Anda harus menemukan kesalahan secara manual.
Basis kode statis dengan AI:
- AI menulis fungsi.
- Pemeriksa tipe menandai kesalahan secara langsung.
Tingkat kesalahannya sama. Biaya untuk memperbaikinya berbeda. Inilah mengapa adopsi TypeScript terus tumbuh. Tipe bertindak sebagai asuransi murah saat entitas non-manusia menulis draf pertama Anda.
Aturan ini juga berlaku untuk bahasa lain. Rust bahkan lebih berguna di sini. Borrow checker menghentikan bug memori dan konkurensi yang sering diperkenalkan oleh AI. Bug ini terlihat benar secara lokal tetapi gagal saat runtime.
Bahasa-bahasa pemrograman menang karena mereka membuat pengembangan berbantuan AI lebih aman untuk ditinjau.
Jika Anda memimpin sebuah tim, ikuti langkah-langkah ini:
- Tambahkan pengetikan pada bagian batas (boundaries) terlebih dahulu.
- Fokus pada tanda tangan fungsi (function signatures) dan kontrak API.
- Lindungi area di mana data berpindah antar modul.
Sebuah peringatan: keamanan tipe (type safety) bukanlah obat untuk segala hal. Ia menangkap bug yang rentan dilakukan oleh AI. Ia tidak menangkap logika yang buruk atau persyaratan yang salah. Kode yang berhasil dikompilasi tidak selalu benar. Pemeriksa tipe adalah sabuk pengaman, bukan pengemudinya.
Apakah tim Anda menggunakan strict mode secara default? Sampaikan pemikiran Anda di bawah ini.