«type-theory» 태그된 질문

에 대한 답변에서 이전 질문 , 작은 논쟁이 특정 구조에 대한 정확한 용어에 대한 시작했다. 나는 (이외의 질문을 찾을 수 없습니다로 이 또는 그 명확하게이 문제를 해결하기 위해 매우 옳은 일 아니다),이 새로운 일을하고 있습니다. 의심스러운 용어와 그 관계는 type, type constructor, type 매개 변수, 종류 또는 정렬 및 값 …

14 type-systems  data-types  type-theory 

JavaScript / Ruby 세계에서 온 후 Haskell을 배우기 시작했습니다. 나는 https://github.com/HoTT 와 Homotopy Type Theory book을 보았습니다 . 그러나 나는 수학과 유형 이론 개념을 배우게 될 것이므로, 호모 토피 유형 이론이 실습 프로그래머에게 어떤 의미가 있는지 이해하는 데 시간이 오래 걸릴 것 같습니다. 평신도에게 호모 토피 유형 이론이 실제로 프로그래밍에 …

11 type-theory