Resultados de la búsqueda a petición "parametric-polymorphism"
Scala: entendiendo el polimorfismo paramétrico
Cuál es la diferencia entre
En Haskell, ¿son los "tipos de tipo superior" * realmente * tipos? ¿O simplemente denotan colecciones de tipos * concretos * y nada más?
Funciones paramétricamente polimórficasConsidere la siguiente función: f :: a -> Int f x = (1 :: Int)Podríamos decir que el tipo def esa -> Int, y esof por lo tanto es de tipo "polimórfico". ¿Cuál de las siguientes es la forma más precisa de ...
¿Por qué la `cabeza` de Haskell se cuelga en una lista vacía (o por qué * no * devuelve una lista vacía)? (Filosofía del lenguaje)
Nota para otros contribuyentes potenciales: no dude en usar anotaciones abstractas o matemáticas para expresar su punto. Si encuentro que su respuesta no está clara, pediré aclaraciones, pero de lo contrario, siéntase libre de expresarse de una ...
¿Existe una forma automática de memorizar valores polimórficos globales en Haskell?
"Constantes" polimórficas, como5 :: Num a => a, no son realmente constantes sino funciones de un argumento de diccionario. Por lo tanto, si define primes :: Num n => [n] primes = ...Mal ejemplo, por supuesto, no hay una buena razón aquí para ...
¿Por qué se dice que C ++ no admite el polimorfismo paramétrico?
De acuerdo con la página de Wikipedia paraPolimorfismo paramétrico [https://en.wikipedia.org/wiki/Parametric_polymorphism]: Algunas implementaciones de polimorfismo tipo son superficialmente similares al polimorfismo paramétrico al tiempo que ...
Polimorfismo en OCaml: ad hoc, paramétrico, inclusión / subtipo
Tengo un problema para comprender los diferentes tipos de polimorfismo, específicamente en lo que respecta a OCaml. Entiendo que el polimorfismo permite múltiples tipos en OCaml denotados como 'a, pero no entiendo cuáles son los diferentes tipos ...
¿Qué es el polimorfismo en Javascript?
He leído algunos artículos posibles que pude encontrar en Internet enpolimorfismo. Pero creo que no pude comprender el significado y su importancia. La mayoría de los artículos no dicen por qué es importante y cómo puedo lograr un comportamiento ...
¿Cómo emitir tipos genéricos que sé que son enteros?
Quiero verificar los códigos de retorno de las API de C de forma genérica y el resultado debe estar libre de tipos de C comolibc::c_int. ¿Hay alguna forma de escribir una función como fn check<S: PartialOrd + std::num::Zero, T> (x: S) -> ...
Escriba firmas que nunca tengan sentido
Considerar (a->a) -> [a] -> Bool¿Hay alguna definición significativa para esta firma? Es decir, ¿una definición que no simplemente ignora el argumento? x -> [a] -> BoolParece que hay muchas firmas que se pueden descartar de inmediato.