Type Checking , Strongly Typed , Coercion , Cast , Narrowing & Widening Conversion

Type Checking adalah aktivitas untuk meyakinkan bahwa operand suatu operator adalah tipe yang kompatibel (bisa digunakan oleh operator atau dibolehkan secara aturan yang berlaku).Strongly Typed adalah jika semua bentuk error selalu dideteksi oleh bahasa pemograman.

Coercion adalah operand kompatibel yang dibolehkan oleh aturan yang berlaku untuk dikonversi secara implisit oleh kompilator menjadi tipe yang legal.Cast adalah mirip dengan coercion namun dikonversi secara eksplisit oleh kompilatornya agar menjadi tipe yang legal.

Narrowing Conversion adalah konversi objek ke tipe baru yang tidak mengakomodasi semua nilai dari tipe aslinya. contoh adalah float ke int dimana nilai desimal float tidak dimasukan ke int.Widening Conversion sama seperti Narrowing namun konversi mancakup aproksimasi semua nilai dari tipe asli. contoh int ke float.