And, in general, strongly typed languages