Resultados da pesquisa a pedido "type-systems"
Qual é a base teórica para os tipos existenciais?
oWiki do Haskell faz um bom trabalho de explicar como usar os tipos existenciais, mas não apresso a teoria por trás deles.Considere este exemplo de um tipo e...
Qual é o estilo de polimorfismo de Haskell?
om as classes de tipo de Haskell, quase parece que ele permite polimorfismo ad hoc, mas suas declarações de funções parecem polimorfismo paramétrico. Estou misturando minha compreensão de coisas diferentes?
Tipos de união e tipos de interseção
Quais são os vários casos de uso para tipos de união e tipos de interseção? Ultimamente, houve muitos rumores sobre esses recursos do sistema de tipos, mas, de alguma forma, nunca senti necessidade de nenhum deles!
Características de downcast dentro de Rc para manipulação de AST
Estou tentando manipular ASTs em Rust. Haverá muitas manipulações, e eu quero que minhas árvores sejam imutáveis, para economizar tempo, todas as referências serãoRcs. Meus nós da árvore ficarão assim: enum Condition { Equals(Rc<Expression>, ...
Por que a posição de tipo de um método é marcada como negativa?
Desculpe, eu fiz algumas perguntas como esta, mas ainda não consigo obter uma resposta clara, talvez meu inglês ruim e minha expressão pouco clara tenham intrigado as pessoas gentis. Quando li o "Type Parameterization" neste ...
O que torna o sistema de tipos de Haskell mais "poderoso" do que os sistemas de tipos de outros idiomas?
LendoDesvantagens do sistema do tipo Scala versus Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Tenho que perguntar: o que é, especificamente, o que torna o sistema de tipos de Haskell ...
Por que alguém seleciona membros do tipo Scala com um hash em vez de um ponto?
No Scala, a sintaxe para selecionar um tipo de uma classe é diferente da seleção de qualquer outra coisa de uma classe. Na medida em que o primeiro usa um hash como operador de seleção, em vez de um ponto. Por que é que Exemplo: se tivermos uma ...
possível colocar restrições de desigualdade nas variáveis do tipo haskel
possível colocar uma restrição de desigualdade nas variáveis de tipo de uma função, à lafoo :: (a ~ b) => a -> b como em Documentos da família tipo GHC [http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/type-families.html], exceto ...
Por que não posso usar a palavra-chave as para uma estrutura?
Eu defini a seguinte estrutura: public struct Call { public SourceFile caller; public SourceFile callee; public Call(SourceFile caller, SourceFile callee) { this.caller = caller; this.callee = callee; } }Posteriormente, atribuo-o à propriedade ...