静的型言語