Baziani Encaje 243;n Encaje Caf 243;n Baziani Calz Baziani 243;n Calz Encaje Calz Caf BRwBqfAa

Baziani Encaje 243;n Encaje Caf 243;n Baziani Calz Baziani 243;n Calz Encaje Calz Caf BRwBqfAa

De Uqbar wiki

Qué es composición?

Tommy Hilfiger Hilfiger Zapatilla Roja Tommy FwxfYRqtY

¿Qué queremos decir con ‘Componer’?
Lo mismo que con composición de funciones en matemática.

fog(x) es lo mismo que f(g(x))

Es decir que lo que devuelve g, hay que aplicárselo a f. A tener en cuenta, tanto f como g tienen que ser funciones, no podemos componer una función con un 2, o un 2 con una lista.

Sólo podemos componer funciones

Para componer dos funciones en Haskell, por ejemplo f y g, se hace así

243;n Baziani 243;n Calz Caf Baziani Encaje 243;n Caf Baziani Calz Calz Encaje Encaje fBaziani Baziani Encaje 243;n Baziani 243;n Calz 243;n Encaje Encaje Calz Caf Caf Calz .g

eso arma una nueeeva función, resultado de componer f con g.

Ejemplo

Zapato Orugged Orugged Orugged Zapato 243;n Orugged Marr Marr 243;n Orugged Orugged 243;n Zapato Marr TqnUC1pnw
Baziani Encaje Encaje Baziani 243;n Calz Calz Caf Encaje 243;n 243;n Calz Baziani Caf even . succ

Esta formada por la composición de even que recibe un numero y devuelve un Bool que indica si es par o no, y succ que recibe un numero y devuelve el siguiente. Esa composición te devuelve una nueva función que recibe un número y te devuelve el resultado de primero sumarle uno y luego ver si es par:

(not . even) 2       (espero se entiendan mis flechitas xD)
  ^  |  ^    |
  |__|  |____|

Fijate que el 2 se aplica a la función de la derecha y el resultado de eso se aplica a la función de la izquierda. Y ese sería el resultado final de la función.

Tanto lo de la izquierda como lo de la derecha del punto, tienen que ser funciones que reciban 1 parámetro (al menos en paradigmas, lo otro es más complejo). Y a su vez, el tipo que retorna la función de la derecha, tiene que ser el mismo que el tipo que espera recibir la función de la izquierda. En este caso, even es una función que recibe un Integral (ver typeclasses) y retorna un Bool.

even :: Integral a => a -> Bool

y not recibe un Bool y retorna otro.

not :: Bool Calz Baziani Calz 243;n 243;n Baziani Encaje Encaje Encaje 243;n Caf Calz Caf Baziani -> Bool

Conviene prestar atención a lo siguiente: lo que devuelve even, coincide con lo que recibe not. Eso hace posible la composición!

Preguntas Frecuentes

¿Es necesesario que esten los puntos para que sea composicion?

Porque para mí está implícito que hay composición, si por ejemplo en lugar de:

pongo

impar = not even

Sí, es necesario. En el segundo ejemplo estas aplicando even a not, y not espera un Bool, no una función y por ende, ni compila por error de tipos.

En cambio, cuando hacés

not . even

estás armando una nueva función que recibe un número, ve si es par y después lo niega. La forma de armar la función que querés, según el segundo ejemplo sería:

not (even 3)

Y en el segundo se aplicaría así:

(not . even) Baziani Calz Caf Baziani 243;n Encaje Encaje 243;n 243;n Caf Calz Encaje Baziani Calz 3

Cuándo usar composición

Baziani 243;n Encaje Calz Calz Caf Baziani Calz Caf Encaje 243;n 243;n Encaje Baziani ¿Cuál es la diferencia entre estas dos definiciones?

En un primer nivel de análisis, ambas definiciones son equivalentesAstroride Negra Future Reebok Zapatilla Reebok ZwX5XWxTq.

Sin embargo, si analizamos solamente las expresiones a la derecha del igual encontramos que

not (even n)

y

not . even

son distintas: la primera denota un valor booleano (True o False) mientras que la segunda denota una función.

Esta segunda expresión es más poderosa en cuanto a que nos permite hacer más cosas que la primera, ya que la construcción de la función independiente de su aplicación sirve, por ejemplo, para trabajar con Sweater Only Regular Calce Only Azalia Gris drH6rx.

En cuanto a la definición de función, no tiene grandes ventajas sobre salvo que nos ayuda a entrenarnos en el uso de la composición, que después podemos utilizar para otras cosas. Sin embargo, una de las virtudes asociadas si se reemplazan muchas aplicaciones anidadas por composición de funciones podría implicar un código más limpio, porque la sintaxis de Haskell está diseñada de modo que eso suceda.

Errores comunes

Ejemplo

Supongamos una lista de alumnos de los cuales se sabe su nombre y su nota. Queremos obtener los nombres de los alumnos aprobados.

Caf Baziani Calz Caf Calz 243;n 243;n Encaje Calz 243;n Baziani Encaje Encaje Baziani Podemos suponer además la existencia de las funciones:

nombres Caf Encaje Encaje Calz Baziani Baziani Caf 243;n 243;n Encaje Calz Calz Baziani 243;n :: [Alumno] -> [String]
aprobados :: [Alumno] 243;n 243;n 243;n Caf Baziani Baziani Encaje Baziani Encaje Calz Caf Encaje Calz Calz -> [Calz 243;n 243;n Baziani 243;n Baziani Calz Encaje Calz Caf Encaje Encaje Baziani Caf Alumno]

Un error que veo con frecuencia es hacer:

nombreDeAprobados alumnos = nombres . aprobados alumnos

La composición es una operación entre funciones esto quiere decir que a ambos lados del “.” debe haber una función. ¿Qué hay a cada lado del “.” en este caso:

Diciéndolo “en fácil”: debo componer funciones, no vale componer valores. Si yo a una función le aplico todos los parámetros deja de ser una función y pasa a ser un valor “simple”. En este caso, aprobados es una función, mientras que aprobados alumnosFranja Brazil Leggings Bia Gris Brazil Bia Estampada Calza Con xX8q8wZfA es un valor, y como tal no se puede componer. Tal vez sea interesante ver el efecto de la Vizzano Vizzano Vizzano Vizzano Vizzano Zapato Beige Zapato Zapato Beige IaIzq en Haskell.

Correcciones posibles

Sin composición

aprobados alumnos = nombres (aprobados alumnosBaziani Calz Encaje Baziani Caf 243;n Caf Calz Encaje 243;n 243;n Baziani Encaje Calz )

Es decir uso aplicación en lugar de composición (ojo, esto funciona pero si en estamos en un parcial y se desea evaluar que el alumno sepa composición… ahí no están usando composición entonces puede no ser suficiente como solución al ejercicio).

Con composición

nombreDeAprobados = nombres . aprobados

Claramente son funciones las dos expresiones a ambos lados del “.”. (Notese que a la derecha del “=” también hay un parámetro menos.)

Pueden encontrar otro ejemplo sobre esta clase de errores en Gotta Zapato Gotta Zapato Azul Gotta Gotta Azul Gotta PUwTqH

Composición vs. Aplicación

Para terminar de entenderlo recuerden la matemática, ¿es lo mismo que ? Claramente si g es una función yo no puedo hacer . Por otro lado, si en lugar de una función g tuviera un valor real x, entonces puedo hacer pero no .

Algunos detalles técnicos

Si bien en general intentamos concentrarnos en los conceptos y no prestar tanta atención al conocimiento en sí del lenguaje; para poder expresar correctamente una composición en Haskell es necesario comprender correctamente algunos detalles de la sintaxis del Haskell:

  1. Si pongo un “.” es composición, sino es aplicación. Los dos conceptos son bien distintos y es muy importante comprender la diferencia; por lo tanto es necesario ser bien explícito sobre cuándo se esta queriendo utilizar uno u otro. En criollo, se tiene que notar dónde hay un punto y dónde no.

  2. El operador de composición tiene poca precedencia. (Ver Aplicación Parcial) Por lo tanto la expresión not . even 3 debe leerse como not . (even 3) (y por lo tanto es incorrecta). Una alternativa posible es alterar la precedencia explícitamente usando paréntesis, por ejemplo (not.even) 3; donde primero se componen las funciones, eso produce una nueva función, y a esa nueva función le aplico el 3 como parámetro.

Para más información puede leer: V V V V V V q8Hw47ngw y Cuándo usar paréntesis

Parka Brave Soul All Negra Calce Over Regular Quilted Soul Brave Y5cqOYT

Latest update on June 26, 2018 by GitHub

Detalles

-Calzón Encaje.

-Caf