Noción de flecha, diagramas

 Debido a que las funciones son componentes en la construcción de otras funciones, más complicadas, y haciendo eco de la llamada de procedimientos en lenguajes tales como C y Python, aprendemos aquí la técnica de composición de funciones.

Comentarios

Publicar un comentario

Entradas populares de este blog

¡Pi en Haskell!

El número pi siempre está presente en Matemáticas y Computación.  Aquí está el cálculo de algunos de sus dígitos utilizando la fórmula de Leibniz pi/4=1-1/3+1/5-1/7+1/9.... Ver https://en.wikibooks.org/wiki/Calculus/Leibniz%27_formula_for_pi  pii n =   let     ls=1:(map (+2) ls)     inter = 1:(-1):inter   in     4*(sum (zipWith (*) (take n inter) (map (\x -> 1/x) (take n ls)))) La fórmula de Leibniz es mona, pero por aquí encontré que con éste algoritmo  https://en.wikipedia.org/wiki/Chudnovsky_algorithm se pueden hallar trillones de dígitos de pi. Ésta es la versión de este algoritmo en Python....   import decimal def binary_split ( a , b ): if b == a + 1 : Pab = - ( 6 * a - 5 ) * ( 2 * a - 1 ) * ( 6 * a - 1 ) Qab = 10939058860032000 * a ** 3 Rab = Pab * ( 545140134 * a + 13591409 ) else : m = ( a + b ) // 2 Pam , Qam ,...
Leer más

La entrada y salida en Haskell

Para cualquier lenguaje de programación existente, la tarea de entrada y salida es algo bastante común y convencional. No tanto así para Haskell. Aquí hay varios ejemplos para, elementalmente, tratar el tema de  entrada y salida desde el punto de vista haskeliano práctico. Dado que la teoría detrás, llamada teoría de mónadas, puede parecer particularmente intimidante, la dejamos para después. Mientras, vale trabajar directamente inspirándose en los ejemplos comentados en éste capítulo:   http://learnyouahaskell.com/input-and-output
Leer más

El problema de la edición de una cadena

Imagen
 En el problema de la edición de una cadena se tienen dos cadenas y se quiere conocer que tan disímiles o tan parecidas son de acuerdo con alguna medida. En esta implementación tenemos una respuesta...   d ms "" = length ms d "" ms = length ms d (a:ms) (b:ns) | a==b = d ms ns d (a:ms) (b:ns) | a/=b = 1+minimum [d ms (b:ns), d (a:ms) ns, d ms ns] y éste algoritmo es ¡triplemente recursivo! Para intentar ver sus llamadas, creamos un tipo de dato: data T = H String | Tri T T T deriving Show y aquí conformamos una construcción de las llamadas: si [] ms = H ms si ms [] = H ms si (a:bs) (c:cs) = Tri (si bs (c:cs)) (si bs cs) (si (a:bs) cs) En general, no es fácil ver árboles, pero lo siguiente puede ser pasado a LaTeX para visualizar algunos resultados (primero se genera la cadena, y se hace copy/paste a un archivo LaTeX; sería posible escribir el resultado directamente a un archivo, pero queda como opcional, pues aún no hemos visto cómo hacerlo). showTC (H i) = "\\T...
Leer más