INSTITUTO TECNOLÓGICO SUPERIOR DEL ORIENTE

DEL ESTADO DE HIDALGO

Ingeniería en Sistemas Computacionales

Programación lógica y funcional

Tema 1 - MOOC

Séptimo Semestre
Grupo: 7F21

Catedrático: Dra. Karina Gutiérrez Fragoso

Matrícula Nombre

19030288 Yllescas Ávila Irving

Apan, Hgo. Semestre Julio - Diciembre 2022

Fecha: 15 de septiembre del 2022

Contenido

¿Qué es Haskell? ................................................................................................................................. 3

Curso de Haskell – Learn You a Haskell for Great Good! .................................................................... 3

Aritmética simple ................................................................................................................................ 3

Booleano ............................................................................................................................................. 3

Baby's first functions ........................................................................................................................... 4

An intro to lists .................................................................................................................................... 5

Texas ranges ........................................................................................................................................ 7

I’m a list comprehesion ....................................................................................................................... 8

Tuples .................................................................................................................................................. 8

Características de Haskell.................................................................................................................... 9

Evaluación perezosa ............................................................................................................................ 9

¿Qué es Haskell?
Es un lenguaje de programación con enfoque funcional, el mismo sentó las bases
de los lenguajes de programación funcional, se basa en el calculo lambda por lo que
el logotipo del lenguaje contiene el símbolo de la letra griega.

Curso de Haskell – Learn You a Haskell for Great Good!

Aritmética simple
Aplicación de suma, resta, multiplicación, división y jerarquía de operaciones con
paréntesis.

Booleano
Aplicación de verdadero y falso, es necesario denotar que cada palabra debe
iniciar con una mayuscula.
Números subsecuentes, mínimos y máximos.

Baby's first functions

Funciones bebes, creación de funciones sencillas.
An intro to lists
Creación de listas, búsqueda de elemento de en una lista, unión de listas,
comparativa de listas
Texas ranges
Rangos numéricos y tipos char
I’m a list comprehesion
Generación de listas y aplicación de métodos.

Tuples
Uso de tuplas con comado Zip que permite intercalar las mismas.
Características de Haskell
• Una función pura puede devolver un efecto secundario que se ejecuta
posteriormente, modelando las funciones impuras de otros lenguajes.

• Estática sistema de tipos basado en Hindley-Milner inferencia de tipos. Su

principal innovación en esta área son las clases de tipos, originalmente
concebidas como una forma de agregar sobrecarga al lenguaje, pero desde
entonces han encontrado muchos más usos.

• La construcción que representa los efectos secundarios es un ejemplo de

una mónada: un marco general que puede modelar varios cálculos, como
manejo de errores, no determinismo, análisis sintáctico y memoria
transaccional de software. Se definen como tipos de datos ordinarios, pero
Haskell proporciona algo de azúcar sintáctico para su uso.

• Especificación abierta y publicada, y existen múltiples implementaciones. Su

principal implementación, el Glasgow Haskell Compiler (GHC), es tanto un
intérprete como un compilador de código nativo que se ejecuta en la mayoría
de las plataformas.

• Comunidad activa y en crecimiento en torno al lenguaje.

Evaluación perezosa
La evaluación perezosa (lazy evaluation) o también conocida como llamada por
necesidad es un método de evaluación el cual permite retrasar el cálculo de una
expresión hasta el valor sea el necesario, por ende, se reduce la repetición de la
evaluación.
La evaluación perezosa permite el incremento en el rendimiento para evitar cálculos
innecesarios, es capaz de construir estructuras de datos potencialmente infinitas y
estructuras de control como las abstracciones.