Ideally you want your type system to enforce as many of these assumptions as possible since when it can you both speed and safety.