Resultados da pesquisa a pedido "type-systems"
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 existe nulo no .NET?
Por que os valores podem ser nulos no .NET? Isso é superior a ter uma garantia em que tudo teria um valor e nada seria nulo? Alguém sabe como cada uma dessas metodologias é chamada? De qualquer forma, não tenho muito conhecimento disso, mas não ...
Scala - Reforçando o tamanho do vetor no tempo de compilação
É possível impor o tamanho de um
O C # tem um equivalente à tipagem estrutural do Scala?
Em Scala, eu posso definirtipos estruturais [http://codemonkeyism.com/scala-goodness-structural-typing/]do seguinte modo: type Pressable = { def press(): Unit } Isso significa que eu posso definir uma função ou método que usa como ...
Diferença entre os tipos existenciais do Scala e o curinga do Java por exemplo?
Um pouco mais específico que a questão do Stack OverflowO que é um tipo existencial?qual é a diferença entre Scala'stipos existenciais e Javacuringa, pre...
O que o operador `#` significa no Scala?
Eu vejo este código neste blog:rogramação em nível de tipo no Sca [http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/]: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the ...
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 ...
O que se entende por tipos dependentes de caminho de Scala?
Ouvi dizer que Scala tem tipos dependentes de caminho. Tem algo a ver com classes internas, mas o que isso realmente significa e por que eu me importo?
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 ...