11
실존 유형은 무엇입니까?
Wikipedia 기사 Existential types를 읽었습니다 . 나는 실재 연산자 (∃) 때문에 실재 유형이라고 불렀습니다. 그래도 그 요점이 무엇인지 잘 모르겠습니다. 차이점은 무엇입니까 T = ∃X { X a; int f(X); } 과 T = ∀x { X a; int f(X); } ?
특정 프로그래밍 언어와 독립적 인 프로그래밍 질문에이 태그를 사용하십시오.