Data.Map에 dataCast2이 정의되어 있으므로이 형식에는 2 유형의 생성자가 있으므로 의미가 있습니다. dataCast1의 기본값은 const Nothing입니다. dataCast2은 gcast2으로 쉽게 정의됩니다. 참고로 는 : Map 또는 (,) 등 Data.Data, Data.Typeable에서 주어진 모든 것을 말할 (dataCast2이
ASTGUID 모나드에서 숨김 상태로 전달 된 기호 테이블의 이름 (정수)을 사용하여 String (계층 적 식별자를 나타냄) 이름을 바꿀 rename 함수를 작성하고 싶습니다. 나는 AST a 유형의 이름 유형에 대해 매개 변수가 지정되어 있습니다. 대서양 표준시의 잎에서 이름 유형 Name a의 위치 : data Name a = Name a
이 쉽게