경계 지점에서 정적 타입은 환상에 불과합니다

원문: Mark Seemann, "At the boundaries, static types are illusory" 정적 타입은 유용하지만 한계가 있습니다. 이 블로그를 자주 읽는 분이라면 제가 정적 타입 시스템을 좋아한다는 걸 눈치채셨을 겁니다. C에서 제공되는 정적 타입 같은 게 아닙니다. C의 정적 타입은 대개 너무 많은 방식으로 정수와 포인터 타입을 구별하는 느낌을 줍니다. 좋은 타입 시스템은 단순히 강화된 숫자 타입 그 이상을 의미합...