静的型付け