«higher-kinded-types» 태그된 질문

웹에서 다음을 찾을 수 있습니다. 더 높은 종류의 유형 == 유형 생성자? class AClass[T]{...} // For example, class List[T] 어떤 사람들은 이것이 정의에 부합하는 유형을 추상화하기 때문에 이것이 더 높은 종류의 유형이라고 말합니다. 더 높은 종류의 유형 은 다른 유형을 취하여 새로운 유형을 구성하는 유형입니다. 이것들은 타입 생성자 로도 알려져 …

275 generics  scala  types  constructor  higher-kinded-types 

나는 한동안 F #에서 개발을 해왔고 그것을 좋아합니다. 그러나 내가 아는 한 가지 유행어는 F #에 존재하지 않는 고급 유형입니다. 나는 고급 유형에 대한 자료를 읽었으며 그 정의를 이해한다고 생각합니다. 나는 그들이 왜 유용한 지 잘 모르겠습니다. 누군가 Scala 또는 Haskell에서 F #의 해결 방법이 필요한 고급 유형의 예를 제공 …

88 scala  haskell  types  f#  higher-kinded-types 

구현은 std::mem::drop다음과 같습니다. pub fn drop<T>(_x: T) { } 따라서, 폐쇄 |_| ()( 구체적 으로 화장실 폐쇄 라고도 함 )가 drop양방향으로 잠재적으로 1 : 1로 대체 될 것으로 기대합니다 . 그러나 아래 코드 drop는 화장실 변수가 변하는 반면 함수의 매개 변수에 더 높은 순위의 특성과 호환되지 않음을 보여줍니다 . fn …

13 rust  closures  traits  type-inference  higher-kinded-types