PL
substructural type system
- 얄짤없는 타입 / 여지없는 타입
- 제약된 타입 시스템
댓글 4개
이"
이재호 "Zeta"·제약된 타입 시스템·2달 전
일반적인 타입 시스템에서 사용되는 규칙을 제약했다는 점도 드러내면서, 이런 타입 시스템이 받아들이는 프로그램은 좀 더 제약이 걸리는 점도 드러내는 번역입니다.
이
이광근/YiKwangkeun·한 달 전
추론 규칙들에서 추가로 다음이 강제된다는 느낌을 표현하는 용어없을까요: 불필요한 가정이 없어야 하고, 있는 가정을 사용하는 횟수도 제한되고. "substructural"... 영어는 좋지않은 용어지요. 개념전달이 살짝 우회적인. 우리는 뜻에 좀더 직진해서 가까이가는 쉬운말을 찾아봅시다.
이
이광근/YiKwangkeun·얄짤없는 타입 / 여지없는 타입·2달 전
여지없이 딱 떨어지게 추론하는(불필요한 가정없이, 있는 가정도 맘껏 반복해서 사용하는 걸 막는) 논리 시스템에 기반한 타입시스템이므로. 여지없는 타입/얄짤없는 타입
SL
Sanggyu Lee·2달 전
substructural type의 번역이 필요해요.