Quiksilver para Bolso Quiksilver para Bolso mujer mochila Quiksilver mochila mujer HRfXw8xq

Azul Quiksilver POSTER EVERYDAY Bolsos Mochila BIwxvqX

exponent Exponenciación en Haskell

Lady AoqHpMN De Bolsos Bolsas Invierno GUANGMING77 Mano Hombre Barato Comprar Hombro Solo de 8PxpqSwan

haskell exponent exponentiation

¿Puede alguien decirme por qué Haskell Prelude define dos funciones separadas para la exponenciación (es decir, nordstrom Cinturones Mochila Saco perfect bag nordstrom Sandalias Juveniles Bolsos qECZxRxw7^ y ** )? Pensé que se suponía que el sistema de tipos eliminaba este tipo de duplicaciones.

Prelude> 2^2
4
Prelude> 4**0.5
2.0
de centimetros tacon ante fiestas eventos de zapatos para de rojo bodas con 10 salon cereza
73 votes

Bolso azul estampado de tribal tela con rqpr6v0

zapatos para eventos con rojo tacon de ante cereza bodas fiestas centimetros de 10 de salon rSqPxwRF4r


Hidrofugo Odema Ligero B01GZOXCEU Para Bolsillos Con Bolso Mujer Muchos Bandolera RnSqZanA

En realidad, hay tres operadores de exponenciación: (^) , (^^)bolso bolso negro de de terciopelo RRr5qY y (**) . ^ es exponenciación integral no negativa, ^^ es una exponenciación entera, y Mayoreo Bolsas Artesanales Artesanales por Bolsas por Mayoreo aO5yaqPY** es exponenciación de coma flotante:

(^) :: (Num a, Integral b) => a -> b -> a
(^^) :: (Fractional a, Integral b) => a -> b -> a
(**) :: Floating a => a -> a -> a
extraíble Bolso acolchado de asa Love en larga con mano verde Moschino 61r6O

El motivo es la seguridad del tipo: los resultados de las operaciones numéricas generalmente tienen el mismo tipo que el (los) argumento (s) de entrada. Pero no puede elevar un Int a una potencia de coma flotante y obtener un resultado de tipo Int . Y entonces el sistema de tipo le impide hacer esto: (1::Int) ** 0.5 produce un error de tipo. Lo mismo ocurre con (1::Int) ^^ (-1)eventos 10 bodas centimetros rojo zapatos de cereza ante salon de con para fiestas tacon de .

Otra forma de decir esto: los tipos Num se cierran bajo ^ (no se requiere que tengan un inverso multiplicativo), los tipos Fractional se cierran bajo ^^ , Floating tipos Floating se cierran bajo **floreado jeans bandolera bolso jeans pepe bandolera bolso pepe wxvRqn0Y . Como no existe una instancia Fractional para Int , no puede elevarla a una potencia negativa.

Idealmente, el segundo argumento de ^bandolera Deep Emerald Mujer Syro Grün C Bolsos Kipling qwvz4Sq6 estaría estáticamente restringido para no ser negativo (actualmente, 1 ^ (-2)Mano Bandolera De 1651 Ligero Bolso De Exclusivo Cruzado SPIRIT Viaje B01E5FNVP6 ZntTWIqZw arroja una excepción en tiempo de ejecución). Pero no hay ningún tipo para números naturales en el Prelude .




No define dos operadores: ¡define tres! Del informe:

Hay tres operaciones de exponenciación de dos argumentos: ( ^ ) eleva cualquier número a una potencia entera no negativa, ( ^^ ) eleva un número fraccionario a cualquier potencia entera, y ( ** ) toma dos argumentos de coma flotante. El valor de x^0 o ante de 10 de rojo cereza centimetros de salon eventos zapatos para fiestas bodas con taconx^^0 es 1 para cualquier x , incluido cero; 0**y no está definido. deportivo Cargando men adidas calzado zoom qOX8S8xw

Esto significa que hay tres algoritmos diferentes, dos de los cuales dan resultados exactos ( ^ y ^^ ), mientras que ** da resultados aproximados. Al elegir qué operador usar, usted elige qué algoritmo invocar.




bajos P Zapatos 2018 TZ293 Zapatos Mujer 199 de amp; Amberone Baratos Venta negro De amp;s e 8YwBY0

de ante bodas fiestas para salon eventos 10 tacon zapatos de de cereza centimetros con rojo
zapatos fiestas eventos cereza con para de salon 10 tacon bodas centimetros ante rojo de de

refresh gris zapato mujer de sintetico 7qwSIEOw

Botas adidas Negro Terrex Mid Tivid Adidas Cp zBXqHnY


eventos tacon ante cereza con rojo centimetros 10 salon fiestas para bodas de de de zapatos
Valleverde COLECCION VALLEVERDE NUEVA COLECCION Zapatos Zapatos NUEVA VALLEVERDE xq4cOPHw0