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

저는 Haskell에 능숙하지 않으므로 이것은 매우 쉬운 질문 일 수 있습니다. Rank2Types 는 어떤 언어 제한을 해결합니까? Haskell의 함수가 이미 다형성 인수를 지원하지 않습니까?

110 haskell  types  polymorphism  higher-rank-types 

관련 형식을 deserialize하는 기능이있는 특성이 있습니다. 그러나 관련 유형에는 발신자가 결정한 수명이 필요하므로 상위 특성을 사용하는 별도의 특성이 있으므로 평생 동안 직렬화를 해제 할 수 있습니다. 이 관련 유형을 반환하는 클로저를 사용해야합니다. 이를 수행하기 위해 다음 코드가 있습니다. #![allow(unreachable_code)] use std::marker::PhantomData; trait Endpoint: for<'a> EndpointBody<'a> {} trait EndpointBody<'a> { type …

11 rust  traits  higher-rank-types