타입을 언어와 분리할 수 없는 intrinsic한 걸로 보는 관점과, 프로그램은 따로 있고 타입은 그저 오류 검증만 하는 extrinsic한 걸로 보는 관점이 있는데 이 차이를 모르고 논쟁하면 소모적이 됨 https://t.co/kKAOzNpLFs
— 서광열 (@kwangyulseo) May 29, 2016
2016년 5월 29일 일요일
타입을 언어와 분리할 수 없는 intrinsic한 걸로 보는 관점과, 프로그램은 따로 있고 타입은 그저 오류 검증만 하는 extrinsic한 걸로 보는 관점이 있는데 이 차이를 모르고 논쟁하면 소모적이 됨 https://t.co/kKAOzNpLFs
피드 구독하기:
댓글 (Atom)
댓글 없음:
댓글 쓰기