유형의 값 대 값 생성자

Question

하스켈을 배우며 this example으로 혼란 스럽습니다.

는 다음과 같은 고려 : FrankTofu의 인스턴스를 만들 때 왜 그

class Tofu t where 
    tofu :: j a -> t a j 

data Frank a b = Frank {frankField :: b a} deriving (Show) 

instance Tofu Frank where 
    tofu x = Frank x 

, 우리는 (지금까지 내가 이해) 제공, 타입 생성자 Frank x 대신 값 생성자, 즉 tofu x = Frank {frankField = x} ?

Answer 1

당신은 여전히 ​​값 생성자를 사용하고 있습니다. 레코드 구문을 사용하지 않고 레코드 필드가있는 형식을 사용할 수 있으므로 Frank x은 Frank { frankField = x }과 동일한 작업을 수행합니다. 당신이있는 경우

하나 개 이상의 레코드 필드, 예를 들면 :

-- With x :: a, y :: b 
Frank x y