Resultados da pesquisa a pedido "dependent-type"
Por que não ser digitado com dependência?
Já vi várias fontes ecoarem a opinião de que "o Haskell está gradualmente se tornando uma linguagem de tipo dependente". A implicação parece ser qu...
Qualquer motivo pelo qual o scala não suporta explicitamente os tipos dependentes?
Existem tipos dependentes de caminho e eu acho que é possível expressar quase todos os recursos de linguagens como Epigram ou Agda em Scala, mas eu estou que...
Agda: analisar uma string com números
Eu estou tentando analisar uma string com números naturais em Agda. por exemplo, o resultado de
O que é digitação dependente?
Alguém pode explicar digitação dependente para mim? Tenho pouca experiência em Haskell, Cayenne, Epigram ou em outras linguagens funcionais; portanto, quanto mais simples os termos que você pode usar, mais apreci
Como criar um tipo com restrições
Por exemplo, quero criar um tipo MyType de números triplos. Mas não apenas o produto cartesiano de três números inteiros, quero que o tipo represente todos (x, y, z) de modo que x + y + z = 5 Como faço isso? Exceto por usar apenas (x, y), pois z ...