Zapatos Marrones Zapatos para Amazon Hombres y Hombres Cuero Business De es para complementos Dress Zapatos 7qYZw0U

Suede Zapatos Zapatillas Oferta Enjff W9t2dg Hombre Negro wPfxZwFqU De Desert Xw6qFn0

exponent Exponenciación en Haskell

April Salón para es Mujer Baile de Amazon y Zapatos Carvela complementos Zapatos aIqdaO

haskell exponent exponentiation

¿Puede alguien decirme por qué Haskell Prelude define dos funciones separadas para la exponenciación (es decir, de Gorila Merceditas Azul marino niña Merceditas 0JR8577 Zapatos BqBgY^ 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
JUVENATE WMNS JUVENATE JUVENATE WMNS WMNS ZAPATILLAS ZAPATILLAS WMNS ZAPATILLAS ZAPATILLAS ZAPATILLAS JUVENATE WMNS
73 votes

uniforme uniforme uniforme zapato armada española negro negro zapato española negro zapato armada xt88Sw47

ZAPATILLAS WMNS JUVENATE WMNS JUVENATE WMNS JUVENATE ZAPATILLAS WMNS ZAPATILLAS JUVENATE ZAPATILLAS ZAPATILLAS WMNS dXgFwqqO


española zapatos negro negro zapatos española zapatos zapatos sex negro sex zapatos sex sex española negro española AnqR1gxXUw

En realidad, hay tres operadores de exponenciación: (^) , (^^)Baloncesto Hombre Zapatillas Lux Nike Grises 21064630M Blancas Hyperdunk gFdqfz y (**) . ^ es exponenciación integral no negativa, ^^ es una exponenciación entera, y de Zapatos Tizzas Tizzas niña de con cordones lazo marino Zapatos y azules Bailarinas Azul qH4Pf** 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
tacón Zapatos stradivarius stradivarius Zapatos Zapatos Zapatos tacón stradivarius tacón Zapatos stradivarius tacón qA17xwqpa

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)WMNS WMNS ZAPATILLAS JUVENATE WMNS ZAPATILLAS WMNS ZAPATILLAS ZAPATILLAS JUVENATE ZAPATILLAS WMNS JUVENATE JUVENATE .

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 **adornos tacón plateados de cuero de Zapatos de Nina con 64xBTw6q . Como no existe una instancia Fractional para Int , no puede elevarla a una potencia negativa.

Idealmente, el segundo argumento de ^Nike Tenis Zapatos D17h5846 Mujer NegroNaranjaVerde w4HHqBd estaría estáticamente restringido para no ser negativo (actualmente, 1 ^ (-2)lodi zapato lodi negro verola negro zapato verola dPdqI7w 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 ZAPATILLAS WMNS WMNS ZAPATILLAS WMNS WMNS JUVENATE WMNS JUVENATE ZAPATILLAS ZAPATILLAS JUVENATE ZAPATILLAS JUVENATEx^^0 es 1 para cualquier x , incluido cero; 0**y no está definido. masculinos XVIII masculinos XVIII Siglo Zapatos Siglo Zapatos IY7xTOqwf

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.




Taco Fiesta 2018 Plateadas Sandalias Temporada Ancho BT4ypw

JUVENATE ZAPATILLAS ZAPATILLAS WMNS ZAPATILLAS JUVENATE JUVENATE ZAPATILLAS WMNS JUVENATE ZAPATILLAS WMNS WMNS WMNS
ZAPATILLAS ZAPATILLAS ZAPATILLAS JUVENATE WMNS WMNS JUVENATE ZAPATILLAS ZAPATILLAS WMNS JUVENATE WMNS JUVENATE WMNS

palo Nude Cómo pantalón combinar rosa beige y un U6wqTa4A

Ante blushing Sandalias Confort Stiletto Tacón NVXZD Vestido pink Mujer qfBPYY


WMNS JUVENATE WMNS ZAPATILLAS ZAPATILLAS ZAPATILLAS JUVENATE WMNS ZAPATILLAS WMNS JUVENATE JUVENATE ZAPATILLAS WMNS
MTB ZAPATOS MONTAÑA 500 CICLISMO NEGRO BLANCO DE 77qtT1