Remix clone Hacker News

new | show | ask | jobs Github

	▲	Spivak 4 hours ago
		In C-ish languages the statement `int x = "thing"` is perfectly valid. It means reserve a spot for a 32 bit int and then shove the pointer to the string "thing" at the address of x. It will do the wrong thing and also overflow memory but you could generate code for it. The type checker is what stops you. It's the same in Python, if you make type checking a build breaker then the annotations mean something. Types aren't checked at runtime but C doesn't check them either.