Pengetikan kuat adalah sistem tipe yang digunakan dengan bahasa pemrograman dan memaksa pemrogram untuk memasukkan kode dengan cara tertentu seperti yang ditentukan oleh sistem tipe dan standar bahasa. Kekuatan pengetikan yang kuat dapat bervariasi, tetapi sebagian besar sistem tipe menggunakan batasan kekuatan tinggi. Ini dapat menghentikan sebagian besar atau semua entri yang tidak valid, yang dapat membantu mencegah kesalahan pengkodean. Beberapa bahasa pemrograman memungkinkan pemrogram untuk menggunakan bilangan bulat yang berbeda, tetapi sistem pengetikan ini membatasi konversi. Konsistensi dipaksakan pada pengguna, yang dapat bermanfaat, tetapi sistem pengetikan ini juga dapat menghilangkan kreativitas.
Ketika seseorang menggunakan kit atau bahasa pemrograman yang memiliki pengetikan yang kuat, sistem pengetikan ini dapat diatur dengan tingkat kekuatan yang tinggi atau rendah. Kekuatan tinggi berarti sistem pengetikan memberlakukan batasan yang kuat pada pengguna, sementara kekuatan rendah sedikit lebih lunak dengan kesalahan dan kode yang tidak konsisten. Sementara kekuatan rendah digunakan dengan beberapa sistem, kekuatan tinggi jauh lebih umum, karena keunggulan sistem pengetikan ini paling baik ditegakkan dengan kekuatan tinggi.
Pemrogram dapat membuat entri yang tidak valid saat membuat program, baik sebagai kesalahan atau sengaja untuk mencoba pengkodean baru. Dengan sistem pengetikan yang lemah, kesalahan ini akan melewati kompiler, yang dapat menyebabkan kesalahan parah terwujud. Ketika pengetikan yang kuat digunakan, kesalahan ini akan menjadi perhatian programmer. Sistem juga biasanya akan menolak kompilasi pemrograman sampai pengkodean diperbaiki, memastikan bahwa kesalahan minimal.
Bilangan bulat sering digunakan dengan pemrograman, dan bahasa pemrograman terkadang memungkinkan pengguna untuk memasukkan bilangan bulat yang tidak konsisten dengan bahasa tersebut. Pada saat yang sama, jika bahasa memiliki alat konversi, maka ini akan mengonversi bilangan bulat sehingga dapat digunakan. Pengetikan yang kuat menonaktifkan praktik ini dan menolak untuk menerima bilangan bulat non-standar.
Cara pengetikan yang kuat mengontrol implementasi bahasa pemrograman oleh pengguna berarti ada banyak kelebihan dan kekurangan. Ini tidak memungkinkan kesalahan atau pengkodean non-standar, jadi sistem pengetikan ini memastikan pengkodean konsisten. Ini juga biasanya memastikan bahwa pengkodean akan berfungsi saat dikompilasi. Kerugian utama adalah bahwa kreativitas sangat terbatas. Jika pengguna mencoba untuk menulis pengkodean dengan cara yang bertentangan dengan standar, bahkan jika kode itu sendiri akan bekerja dan mungkin lebih baik daripada pengkodean standar, maka pengetikan yang kuat masih akan menonaktifkan pengkodean sampai pengguna menstandarkannya.