Resultados da pesquisa a pedido "dependent-type"
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...
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...
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 ...
Existe uma linguagem com tipos restritos?
Existe uma linguagem de programação tipada onde posso restringir tipos como os dois exemplos a seguir?Uma Probabilidade é um número de ponto flutuante com va...
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