Pengetikan kuat / lemah dan pengetikan statis / dinamis bersifat ortogonal.
Kuat lemah adalah tentang apakah jenis nilai itu penting, secara fungsional. Dalam bahasa yang diketik dengan lemah, Anda dapat mengambil dua string yang diisi digit dan melakukan penambahan bilangan bulat pada mereka; dalam bahasa yang sangat diketik, ini adalah kesalahan (kecuali jika Anda melemparkan atau mengonversi nilai ke jenis yang benar terlebih dahulu). Mengetik dengan kuat / lemah bukanlah hal yang hitam-putih; kebanyakan bahasa tidak 100% ketat atau 100% lemah.
Pengetikan statis / dinamis adalah tentang apakah jenis mengikat nilai atau pengidentifikasi. Dalam bahasa yang diketik secara dinamis, Anda dapat menetapkan nilai apa pun untuk variabel apa pun, apa pun jenisnya; pengetikan statis mendefinisikan suatu tipe untuk setiap pengidentifikasi, dan menetapkan dari tipe yang berbeda adalah suatu kesalahan, atau itu menghasilkan suatu pemeran implisit. Beberapa bahasa mengambil pendekatan hibrid, memungkinkan untuk jenis yang dideklarasikan secara statis serta pengidentifikasi yang tidak diketik ('varian'). Ada juga tipe inferensi, suatu mekanisme di mana pengetikan statis dimungkinkan tanpa secara eksplisit menyatakan jenis semuanya, dengan meminta kompiler mengetahui jenis-jenisnya (Haskell menggunakan ini secara luas, C # memaparkannya melaluivar
kata kunci).
Pemrograman dinamis yang lemah memungkinkan pendekatan pragmatis; sebagian besar waktu tidak menghalangi bahasa Anda, tetapi bahasa itu tidak akan masuk saat Anda menembak diri sendiri. Sebaliknya, pengetikan statis yang kuat mendorong programmer untuk mengungkapkan harapan tertentu tentang nilai-nilai secara eksplisit dalam kode, dengan cara yang memungkinkan kompiler atau juru bahasa untuk mendeteksi kelas kesalahan. Dengan sistem tipe yang baik, seorang programmer dapat menentukan dengan tepat apa yang dapat dan tidak dapat dilakukan untuk suatu nilai, dan jika, secara tidak sengaja, seseorang mencoba sesuatu yang tidak diinginkan, sistem tipe sering dapat mencegahnya dan menunjukkan dengan tepat di mana dan mengapa segala sesuatunya salah.