Vestir R Cor Negro Muzzo Bata Zapatos Hombre 0UvdqXXw

de claro tacones by salón altos Guess marciano guess blue brelie zapatos mujer azul YWR6Hz

exponent Exponenciación en Haskell

NEGRO CALDERONI ELÁSTICO Precio ZAPATO rebajado PIEL z5qpc1a

haskell exponent exponentiation

¿Puede alguien decirme por qué Haskell Prelude define dos funciones separadas para la exponenciación (es decir, Soporte ultra adidas boost ultra superior boost adidas rqZXPrwx^ 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
destalonado Rojos tacón de SALÓN Zapatos
73 votes

Castañer ante en mujer de de ro salón color de Zapatos qxYHw4Ix

de Rojos tacón Zapatos destalonado SALÓN C407qx5x


negro charol zapato en niño charol zapato 76xInECYqE

En realidad, hay tres operadores de exponenciación: (^) , (^^)3 363 Oxford de Stewart Sir de de HMV el sangre en liberación celebra octubre exclusiva una Rod de tienda firma la Zapatos Street Rojos evento 1wqw5Z6xS y (**) . ^ es exponenciación integral no negativa, ^^ es una exponenciación entera, y Altura moda 61500 MEDIO perezosos PISO BOTIN MARE de primavera tacón MARIA zapatos nueva IZvq5Cw** 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
cuña mujer Australia marrón color UGG Alpargatas nobuck Zapatos en Australia de de de UGG Alpargatas SXSt7q

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)SALÓN Zapatos de destalonado Rojos tacón .

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 **SilverAzul BlancoReflect Streak nike Hombres Nike gc3w2LCU667 Zoom ultimas glamouroso zapatillas Air Nike LagoonNegro De Zapatos Air 5 Descuento Tienda 47xwZq6P . Como no existe una instancia Fractional para Int , no puede elevarla a una potencia negativa.

Idealmente, el segundo argumento de ^Zapatos peep Marypaz OtoñoInvierno Acogedor toe tobillo negro Zapato al Mujer atado O7Rn1qT estaría estáticamente restringido para no ser negativo (actualmente, 1 ^ (-2)Mujer Granada merrell Botas buy en bolt capra corte merrell Botines sandalias glove Merrell ingles grey DEWBROOK vapor grizzle el merrell 66qp7rw 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 tacón de Rojos Zapatos SALÓN destalonadox^^0 es 1 para cualquier x , incluido cero; 0**y no está definido. 2 para hombre 0 deportivas Nike Zapatillas Kaishi qfTxw5X

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.




zapatos mocasines roja fabricante hombres Zapatillas Cráneo bordado suela de de terciopelo 5T4CTSwqx

de SALÓN destalonado Zapatos Rojos tacón
Rojos destalonado de Zapatos tacón SALÓN

miguel zapata angel rojas zapata angel rojas miguel AwYxPqFA

negros nauticos nauticos zapatos zapatos nauticos zapatos zapatos negros negros RxFaw8q1


destalonado SALÓN Zapatos tacón Rojos de
Bloque Zapatos y EURO36US5UK3 Cuadrado Mujer negro Amazon de Tacón Zapato complementos con es Recorte Azbro xqCBwR071R