PL
substructural type system
- 얄짤없는 타입 / 여지없는 타입
- 제약된 타입 시스템
댓글 3개
이"
이재호 "Zeta"·제약된 타입 시스템·4시간 전
일반적인 타입 시스템에서 사용되는 규칙을 제약했다는 점도 드러내면서, 이런 타입 시스템이 받아들이는 프로그램은 좀 더 제약이 걸리는 점도 드러내는 번역입니다.
이
이광근/YiKwangkeun·얄짤없는 타입 / 여지없는 타입·9일 전
여지없이 딱 떨어지게 추론하는(불필요한 가정없이, 있는 가정도 맘껏 반복해서 사용하는 걸 막는) 논리 시스템에 기반한 타입시스템이므로. 여지없는 타입/얄짤없는 타입
SL
Sanggyu Lee·10일 전
substructural type의 번역이 필요해요.