Saya mau tau Pemeriksaan jenis berlainan tahap dari Sistem jenis. Jelaskan dalam bahasa melayu

Sesetengah bahasa membenarkan pemeriksaan berlainan tahap untuk dipakai pada kawasan berlainan dalam kod. Contohnya:-

Arahan (directive) use strict dalam JavaScript dan Perl memakai pemeriksaan yang lebih kukuh.

Pengendali @ dalam PHP mengabaikan sesetengah pesanan ralat.

Option Strict On dalam VB.NET membenarkan pengkompil mengkehendaki perbualan antara objek.

Alatan tambahan seperti lint dan IBM Rational Purify juga boleh diguna untuk mencapai ketegasan bertahap lebih tinggi.

Gilad Bracha mengetuai pengusulan untuk membuatkan sistem jenis boleh dipilih tanpa bergantung kepada bahasa yang digunakan; di mana sistem jenis ialah modul yang boleh di "pasang" pada sesuatu bahasa jika perlu. Beliau percaya bahawa ini mendatangkan faedah kerana apa yang digelarnya sistem jenis wajib membuatkan bahasa tertentu menjadi kurang ekspresif dan kod menjadi lebih rapuh. Keperluan supaya jenis tidak memberi kesan ke atas semantik bahasa adalah sukar untuk dicapai: contohnya, warisan berasaskan kelas menjadi mustahil.