Resultados da pesquisa a pedido "type-systems"
Scala - Reforçando o tamanho do vetor no tempo de compilação
É possível impor o tamanho de um
FP digitado: argumentos de tupla e argumentos curáveis
Nas linguagens de programação funcional de tipo estatístico, como Standard ML, F #, OCaml e Haskell, uma função geralmente é escrita com os parâmetros separados um do outro e com o nome da função simplesmente por espaços em branco: let add a b = ...
Quais são as diferenças e semelhanças dos sistemas de tipos Scala e Haskell?
Como explicar o sistema de tipos de Scala para um especialista em Haskell? Quais exemplos mostram as vantagens do Scala?Como explicar o sistema de tipos de H...
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>, ...
Como lidar confortavelmente com o sistema de tipos em Haskell?
O sistema de tipos de Haskell é poderoso e apreciado por seu rigor matemático e solidez lógica; por outro lado, algo tão ingênuo como abaixo me faz pensar por que ele não funciona como o esperado pela intuição? Por exemplo. por que nãoInt ser ...
Tempo de compilação e conversão em tempo de execução c #
Fiquei me perguntando por que algumas conversões em C # são verificadas em tempo de compilação, enquanto em outros casos a responsabilidade é despejada no CLR. Como acima, ambos estão incorretos, mas tratados de uma maneira diferente. class Base ...
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 ...
Todas as linguagens de programação têm um conceito claro de NIL, nulo ou indefinido?
Estou escrevendo uma API de armazenamento de valores-chave (como ODBC, apenas a interface, não o armazenamento subjacente) em vários idiomas diferentes e, embora não queira transliterar a API entre idiomas, não quero, por exemplo, armazenar um ...