«algebraic-data-types» 태그된 질문

대수 데이터 유형에 대한 '대수'표현은 수학 배경 지식이있는 사람에게 매우 암시 적으로 보입니다. 내가 의미하는 바를 설명하려고 노력하겠습니다. 기본 유형을 정의한 경우 생성물 • 노동 조합 + 하나씩 일어나는 것 X 단위 1 그리고 속기를 사용 X²하기위한 X•X및 2X대한 X+X등등, 우리는 연결리스트를 예에 대한 대수식을 정의 할 수 있습니다 data …

289 haskell  functional-programming  algebraic-data-types  miranda 

대수 데이터 유형을 사용하여 하스켈에서 트리 또는 목록을 표현하는 것은 쉽습니다. 하지만 그래프를 활자체로 표현하려면 어떻게해야할까요? 포인터가 필요한 것 같습니다. 나는 당신이 다음과 같은 것을 가질 수 있다고 생각합니다. type Nodetag = String type Neighbours = [Nodetag] data Node a = Node a Nodetag Neighbours 그리고 그것은 실행 가능할 것입니다. …

125 haskell  types  graph  functional-programming  algebraic-data-types 

Haskell (대부분 GHC 사용)에 일부 데이터 유형의 값을 저장하는 데 필요한 실제 메모리 양을 어떻게 찾을 수 있습니까? 런타임시 (예 : GHCi에서) 평가할 수 있습니까? 아니면 구성 요소에서 복합 데이터 유형의 메모리 요구 사항을 추정 할 수 있습니까? 일반적 유형의 메모리 요구하는 경우 a와 b공지 같은 대수 데이터 유형의 메모리 …

124 haskell  memory-management  ghc  algebraic-data-types 

이 season함수는 대수 함수를 사용하지만 코드가 반복되는 것처럼 느낍니다. 최대한 짧게하려면 어떻게해야합니까? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn | Winter deriving …

12 haskell  algebraic-data-types