https://github.com/arodriguezfontana/functional-programming-unq
Prácticas realizadas para Programación Funcional de la UNQ.
https://github.com/arodriguezfontana/functional-programming-unq
functional-programming
Last synced: about 2 months ago
JSON representation
Prácticas realizadas para Programación Funcional de la UNQ.
- Host: GitHub
- URL: https://github.com/arodriguezfontana/functional-programming-unq
- Owner: arodriguezfontana
- Created: 2025-09-02T16:19:40.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2025-12-18T18:02:04.000Z (6 months ago)
- Last Synced: 2026-05-04T01:38:32.242Z (about 2 months ago)
- Topics: functional-programming
- Language: Haskell
- Homepage:
- Size: 111 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Programación Funcional
Este repositorio contiene los trabajos prácticos realizados en la materia Programación Funcional. En ellos se trabajó en la transición hacia un modelo de cómputo basado en funciones puras,
el desarrollo de razonamientos lógicos para la demostración de propiedades, el uso de sistemas de tipos avanzados y la aplicación de esquemas de recursión, entre otros conceptos fundamentales del paradigma funcional.
### Tecnologías
* Haskell
### Prácticas
[TP-1:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-1) Modelo funcional.
[TP-2:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-2) Sistemas de tipos.
[TP-3:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-3) Currificación.
[TP-4:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-4) Reducción.
[TP-5:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-5) Tipos algebraicos.
[TP-6:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-6) Propiedades y demostraciones.
[TP-7:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-7) Inducción y recursión I.
[TP-8:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-8) Inducción y recursión II.
[TP-9:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-9) Inducción y recursión III.
[TP-10:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-10) Inducción y recursión IV.
[TP-11:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-11) Esquemas de funciones I.
[TP-12:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-12) Esquemas de funciones II.
[TP-13:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-13) Mónadas.
[TP-14:](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/practica-14) Lambda Cálculo.
[Examenes.](https://github.com/arodriguezfontana/functional-programming-unq/tree/main/examenes)