from now on, strongly typed languages