Resultados da pesquisa a pedido "type-inference"
Como defino a aplicação do Lisp em Haskell?
Essa definição não deve ser permitida em um idioma lento como Haskell, no qual as funções são curry? apply f [] = f apply f (x:xs) = apply (f x) xs É basicamente uma função que aplica a função fornecida à lista de argumentos fornecida e é muito ...
Por que a Lista <T> não é válida em uma interface covariante MyInterface <out T>
Siga a pergunta para uma pergunta anterior [https://stackoverflow.com/questions/6390446/interface-inheritance-and-generic-interfaces-force-explicit-casts] , isso foi identificado como um problema de co-variação. Dando um passo adiante, se eu ...
Quanto é demais com a palavra-chave automática C ++ 11?
Eu tenho usado o novoauto palavra-chave @ está disponível no padrão C ++ 11 para tipos de modelos complicados, e é para isso que acredito que foi projetada. Mas também estou usando para coisas como: auto foo = std::make_shared<Foo>(); E mais ...
Efeito inesperado da conversão implícita na inferência de tipo de delegado
Eu tenho um simplesMoney digite com uma conversão implícita dedecimal: struct Money { decimal innerValue; public static implicit operator Money(decimal value) { return new Money { innerValue = value }; } public static explicit operator ...
Polimorfismo paramétrico vs Polimorfismo ad-hoc
Gostaria de entender a principal diferença entre o polimorfismo paramétrico, como o polimorfismo de classes / funções genéricas nas linguagens Java / Scala / C ++ e o polimorfismo "ad-hoc" no sistema do tipo Haskell. Estou familiarizado com o ...
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 esse código Haskell produz o erro "tipo infinito"?
Sou novo em Haskell e enfrento um erro "não é possível construir o tipo infinito" do qual não consigo entende Na verdade, além disso, não consegui encontrar uma boa explicação sobre o que esse erro significa; portanto, se você pudesse ir além ...
Por que o C # não infere meus tipos genéricos?
Estou me divertindo muito Funcy (diversão pretendida) com métodos genéricos. Na maioria dos casos, a inferência de tipo C # é inteligente o suficiente para descobrir quais argumentos genéricos devem ser usados nos meus métodos genéricos, mas ...
Como o GHCi escolhe nomes para variáveis de tipo?
Ao usar o intérprete interativo do GHC, é possível solicitar o tipo inferido de uma expressão: Prelude> :t map map :: (a -> b) -> [a] -> [b] Parece que leva os nomes das variáveis de tipo da assinatura desdemap ...
# suporta inferência de tipo do tipo de retorno?
Isso é apenas uma curiosidade sobre se existe algo fundamental para parar algo assim (ou me corrija se já houver alguma maneira): public TTo Convert<TTo, TFrom>(TFrom from) { ... } Chamado assim: SomeType someType = ...