Resultados da pesquisa a pedido "parametric-polymorphism"
Por que o C ++ não suporta polimorfismo paramétrico?
De acordo com a página da Wikipedia paraPolimorfismo paramétrico [https://en.wikipedia.org/wiki/Parametric_polymorphism]: Algumas implementações do polimorfismo de tipo são superficialmente semelhantes ao polimorfismo paramétrico, além de ...
Digite assinaturas que nunca fazem sentido
Considerar (a->a) -> [a] -> BoolExiste alguma definição significativa para esta assinatura? Ou seja, uma definição que não ignora simplesmente o argumento? x -> [a] -> BoolParece que existem muitas assinaturas que podem ser ...
Em Haskell, os “tipos de classe superior” são realmente tipos? Ou eles apenas denotam coleções de tipos * concretos * e nada mais?
Funções paramametralmente polimórficasConsidere a seguinte função: f :: a -> Int f x = (1 :: Int)Podemos dizer que o tipo def éa -> Int, e essaf portanto, é do tipo "polimórfico". Qual das alternativas a seguir é a maneira mais precisa de ...
Como converter tipos genéricos que eu sei serem inteiros?
Quero verificar os códigos de retorno das APIs C de maneira genérica e o resultado deve estar livre de tipos C, comolibc::c_int. Existem maneiras de escrever uma função como fn check<S: PartialOrd + std::num::Zero, T> (x: S) -> Option<T> { ...
Existe uma maneira automática de memorizar valores polimórficos globais em Haskell?
"Constantes" polimórficas, como5 :: Num a => a, não são realmente constantes, mas funções de um argumento do dicionário. Portanto, se você definir primes :: Num n => [n] primes = ...É um mau exemplo, é claro, não há uma boa razão para tê-lo ...
O que é polimorfismo em Javascript?
Eu li algum artigo possível que pude encontrar na internet empolimorfismo. Mas acho que não consegui entender bem o significado disso e sua importância. A maioria dos artigos não diz por que é importante e como posso obter um comportamento ...
Por que a `cabeça 'de Haskell trava em uma lista vazia (ou por que * não * retorna uma lista vazia)? (Filosofia da linguagem)
Nota a outros contribuidores em potencial: por favor, não hesite em usar anotações abstratas ou matemáticas para expressar sua opinião. Se a sua resposta não for clara, solicitarei esclarecimentos, mas fique à vontade para se expressar de uma ...
Polimorfismo no OCaml - ad hoc, paramétrico, inclusão / subtipagem
Estou com problemas para entender os diferentes tipos de polimorfismo, especificamente em relação ao OCaml. Entendo que o polimorfismo permite vários tipos no OCaml denotados como 'a, mas não entendo quais são os diferentes tipos de ...