A expressão 'algébrica' para tipos de dados algébricos parece muito sugestiva para alguém com experiência em matemática. Deixe-me tentar explicar o que quero dizer. Tendo definido os tipos básicos produtos • União + Singleton X Unidade 1 e usando a abreviação X²de X•Xe 2Xpara X+Xet cetera,...
É fácil o suficiente representar uma árvore ou lista em haskell usando tipos de dados algébricos. Mas como você representaria tipograficamente um gráfico? Parece que você precisa ter ponteiros. Eu estou supondo que você poderia ter algo como type Nodetag = String type Neighbours = [Nodetag] data...
Como posso encontrar a quantidade real de memória necessária para armazenar um valor de algum tipo de dados no Haskell (principalmente com GHC)? É possível avaliá-lo em tempo de execução (por exemplo, no GHCi) ou é possível estimar os requisitos de memória de um tipo de dados composto a partir de...
A seasonfunção usa funções algébricas, mas sinto que o código é repetitivo. Como faço para torná-lo o mais curto possível? 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...