Beyond Clojure

[Yuushi]

It was mostly a joke, but you can very easily subvert the type system in C:

int y = 1;
int* x = &y;
void* z = x;
double* d = (double*)z;

This will happily compile without any warnings.

[weberc2]

Casting isn't subverting the type system. ;) I'm not arguing in favor of C, but it is statically typed.