2015-06-032018-07-14 kseo 프로그래밍 언어 동적 타이핑, 타입 시스템, 정적 타이핑, rank-2 polymorphism