«typing» 태그된 질문

나는 현재 컴퓨터 과학 석사를 마치고 있습니다. 프로그래밍 언어, 특히 형식 시스템에 관심이 있습니다. 이 분야에 대한 연구에 관심이 있었고 다음 학기에는 주제에 관한 박사 학위를 시작할 것입니다. 이제 실제 질문이 있습니다. 컴퓨터 과학이나 관련 분야에 대한 사전 지식이없는 사람들에게 내가하고 싶은 일을 어떻게 설명 할 수 있습니까? 제목은 부모님, …

64 programming-languages  education  typing  research 

행 다형성이 서브 타이핑보다 더 나은 접근 방식이라고 자주 들지만, 그것들을 자세히 비교하는 것은 찾기가 어렵습니다. 특히 시스템 사용자의 관점에 관심이 있습니다. 나는 건너 않은 이 블로그 게시물,하지만 이전보다 더 많은 질문으로 나를 떠난다. 예를 들어, 하위 유형이 지정된 시스템은 한 유형을 할당하고 행 유형이있는 시스템은 다른 유형을 할당한다고 주장합니다. …

20 typing 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Software Engineering Stack Exchange에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 보편적으로 정량화 된 유형 : 가 하위 유형인지 또는 동일한 시그니처 를 갖는 존재 적으로 정량화 된 타입 의 특별한 경우 :T a = ∀ X : { …

20 logic  type-theory  typing 

교수님은 OCaml에서 다음과 같은 유형의 함수를 생각해 보라고했습니다. 'a -> 'b 즉, 하나의 인수가 무엇이든 될 수 있고 다른 것을 반환 할 수있는 함수입니다. raise인수를 무시하는 함수를 사용하려고 생각 했습니다. let f x = raise Exit 그러나 교수는 표준 라이브러리에서 어떤 기능을 요구하지 않는 솔루션이 있다고 말했다. 혼란 스럽습니다. 'b처음에없는 …

19 programming-languages  typing  functional-programming 

나는 약 읽고 있어요 힌들리 - 밀너 입력 알고리즘 구현을 작성하고, 그 볼 동안, 당신은 항상 같은 인수가 최종 형태를 결정하는 하나의 원자 유형 또는 유형, 얻을 것이다 긴 모든 변수가 바인딩되는만큼, t1 -> t1또는 (t1 -> t2) -> (t1 -> t2)어디서 t1그리고 t2유형 변수입니다. 나는 당신이 t1 -> t2또는 …

14 lambda-calculus  type-theory  typing  type-inference 

ML 계보의 표현 기반 언어를 연구하고 있으므로 자연스럽게 형식 유추가 필요합니다. 이제 EOPL (Friedman and Wand)의 간단한 구현을 기반으로 유형을 유추하는 문제로 제약 조건 기반 솔루션을 확장하려고하지만 대수 데이터 유형을 우아하게 회피합니다. 지금까지 내가 한 것은 매끄럽게 작동합니다. 식이 경우 e이고 a + b, e : Int, a : Int및 …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing