Wikipedia 기사 Existential types를 읽었습니다 . 나는 실재 연산자 (∃) 때문에 실재 유형이라고 불렀습니다. 그래도 그 요점이 무엇인지 잘 모르겠습니다. 차이점은 무엇입니까 T = ∃X { X a; int f(X); } 과 T = ∀x { X a; int f(X); } ?
Haskell의 기존 유형을 이해하려고하는데 PDF를 발견했습니다. http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf를 . 지금까지 이해 한 내용을 아래에서 수정하십시오. 존재 유형은 포함하는 유형에 관심이없는 것처럼 보이지만 패턴 일치는 일부 유형이 있으며 유형 지정 또는 데이터를 사용하지 않는 한 유형이 무엇인지 알 수 없습니다. 유형을 숨기고 싶을 때 (예 : 이기종 목록의 경우) 또는 컴파일 타임에 …