Ideally you want your type system to enforce as many of these assumptions as pos...

		Symmetry on Feb 6, 2014 \| parent \| context \| favorite \| on: Programmers At Work: Bill Gates (1986) Ideally you want your type system to enforce as many of these assumptions as possible since when it can you both speed and safety.