Type Systems.
compile time မှာကတည်းက type နဲ.ပတ်သတ်တဲ့ error တွေကို စစ်ပြီးသားဖမ်းပြီးသား ဒါကြောင့် runtime မှာ program ကိုအေးအေးဆေးဆေး safe ဖြစ်အောင် run နိုင်တယ် ဒါကြောင့် typed safe languge လို.သတ်မှတ်ရတာ။ Dynamic langauge တွေကျတော့ compile time မရှိတဲ့အတွက် runtime မှာ check ပေါ့။ အဓိက ကတော့ programmer