Type Systems.
operation တွေကို သို.မဟုတ် invalid type operation တွေကို ခွင့်မပေးဘူး compile time မှာရော runtime မှာပါ အဲ့လို error တွေကို ကန်.သတ်နိုင်မယ် ဖမ်းနိုင်မယ်ဆိုရင် ဒီ language ကို strongly type လို.သတ်မှတ်ရမှာပါပဲ။ Language တခုက Strongly typed ဖြစ်မှသာ Safe typed ဖြစ်မှာပါ။ Safe type ဆိုတာက language က