Type theory

타입 이론유형론

Books

Inductive type 이 글을 인용: “타입 이론에서 어떤 타입이 재귀 타입이면서 동시에 합 타입이면 귀납 타입이라고 부른다.”
When to annotate type “명시된 타입은 1) 의도를 드러내고, 2) 실수를 방지하는 역할을 하며, 3) 프로그램 작성 과정을 돕는 역할을 한다(Type-driven development).”
Test and type-driven development 주제어가 겹침
Type-driven development 관련 절: Type-Driven Development with Idris
Calculus of Constructions 이 글을 인용: “In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thi…”
컴퓨터과학 이 글을 참조
콜드 스타트 이론 관련 절: Escape Velocity
큐잉 이론 주제어가 겹침