의존형을 왜 사용하지 않는가

이 글은 GeekNews - 개발/기술/스타트업 뉴스 서비스 블로그에 게시된 글을 자동으로 가져온 것입니다.
더 자세한 내용과 원문은 아래 링크를 참고해 주세요.

➡️ 원문 보러 가기

---

원문 요약

의존형(type theory) 은 증명 객체를 포함하지만, 저자는 이를 불필요하고 비효율적인 구조로 평가함 AUTOMATH와 Martin-Löf 형식 체계 등 과거 의존형 기반 시스템을 직접 연구했으나, Isabelle은 …