하스켈 타입 레벨 프로젝션

Question

타입 패밀리를 사용하지 않고 타입 레벨 프로젝션을 정의하는 방법이 있습니까?

나는 그렇게처럼 수행

는

{-# LANGUAGE TypeFamilies #-} 
type family Project t :: * 
type instance Project [r] = r , 

하지만 난 정말 오직 그것의 하나 개의 인스턴스를 사용합니다.

Answer 1

MultiParamTypeClass과 FunctionalDependencies을 사용할 수 있습니다. 왜 사용하고 있는지 알지 못해도 충분하다고 말하기는 어렵습니다.

class Project k a | k -> a 
instance Project [r] r 

> :t undefined :: Project String r => r 
undefined :: Project String r => r :: Char 

Answer 2

정확히 어디에서 사용할 것인지 잘 모르겠습니다. 하지만 저는 haskell 타입 시스템을 만족시키기 위해서만 타입 레벨 투영을 사용하는 경향이 있습니다. 내가 주로하는 일은 다음과 같이 함수를 정의하는 것입니다 :

이

project :: [a] -> a 
project = undefined 

지금 형 [a]의 객체에 프로젝트를 사용하는 것은 나에게 형 a의 객체를 제공 할 것입니다.

위의 경우와 함께 내가 사용하는 또 다른 기능은 asTypeOf입니다.