型システム、超簡単に説明すると、
例えば曜日って、月火水木金土日のいずれかじゃん？＞＜
海曜日とかカレー曜日は無い＞＜
例えば日時分秒の分って0から59じゃん＞＜(あえて雑に言うと＞＜；)
10時65分とかは無い＞＜
どういう風にどういう形式でどういう範囲でデータを表現し、どのように扱うかを決めた物を型って言う＞＜

曜日型であればカレーが入ってる心配をしなくていいし、カレーを入れてはいけない＞＜
型が無い、あるいは型がゆるい環境では、そのデータにどういったものが入ってくる可能性があるのかの制限が無い あるいはゆるくなってしまう＞＜