In fact, many of these are more accurately understood as the presence or absence of type safety, memory safety, static type-checking, or dynamic type-checking.
در حقیقت، بسیاری از اینها دقیق‌تر وجود یا عدم وجود ایمنی نوع، ایمنی حافظه، بررسی ایستایی نوع، یا بررسی پویایی نوع را درک کرده‌اند.