Edición de «Paradigmas de Lenguajes de Programación»

{{Sincronizar guía}}
{{Completar guías}}

'''Paradigmas de Lenguajes de Programación''' pertenece al area de Teoría y, según el [[Plan de la Carrera]] es una materia a ser cursada en [[Plan de la Carrera#Cuarto año|Cuarto año]]. Se necesita [[Lógica y Computabilidad]] para cursarla y es correlativa de [[Ingeniería de Software II]].

==Programa==
Los temas a cubrir en la materia son:
* Inducción y Recursión
* Programación Funcional
* Sistemas de Tipos
* Semántica Operacional
* Revisión del Paradigma Imperativo
* Programación Lógica
* Programación Orientada a Objetos

==Prácticas==
[https://github.com/Gian150/plp-Verano Soluciones de la prácticas Verano 2018]

* [[Práctica 0 (Paradigmas)|Práctica 0 - Pre Practica Funcional]]
* [[Práctica 1 (Paradigmas)|Práctica 1 - Funcional]]
* [[Práctica 2 (Paradigmas)|Práctica 2 - Calculo Lambda Tipado]]
* [[Práctica 3 (Paradigmas)|Práctica 3 - Inferencia de TIpos]]
* [[Práctica 4 (Paradigmas)|Práctica 4 - Subtipado]]
* [[Práctica 5 (Paradigmas)|Práctica 5 - POO]]
* [[Práctica 6 (Paradigmas)|Práctica 6 - Resolución]]
* [[Práctica 7 (Paradigmas)|Práctica 7 - Programacion Logica]]

==Prácticas anteriores al año 2010==
====Haskell====
* [[Práctica 0 (pre 2010, Paradigmas)|Práctica 0 - Pre Practica Funcional]]
* [[Práctica 1 (pre 2010, Paradigmas)|Práctica 1 - Funcional]]
* [[Práctica 2 (pre 2010, Paradigmas)|Práctica 2 - Calculo Lambda Tipado]]
* [[Práctica 3 (pre 2010, Paradigmas)|Práctica 3 - Inferencia de TIpos]]

====Prolog====
* [[Práctica 4 (pre 2010, Paradigmas)|Práctica 4 - Resolucion]]
* [[Práctica 5 (pre 2010, Paradigmas)|Práctica 5 - Programacion Logica]] (resolución [[Media:practica.prolog|alternativa]])

====Smalltalk====
* [[Práctica 6 (pre 2010, Paradigmas)|Práctica 6 - POO]]
* [[Práctica 7 (pre 2010, Paradigmas)|Práctica 7 - Fundamentos de POO]]

==Apuntes==
====Haskell====
*[[Media:ApunteInferencia2007 (Paradigmas).pdf|Apunte de Inferencia de tipos (2do Cuatrimestre de 2007)]]

====Prolog====
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog]
*[https://www.cse.iitb.ac.in/~cs206/lecs/lec17.pdf Explicacion Cut y Not en prolog. Desde la pagina 12]
*[[Lógica: Funciones Varias (Paradigmas)|Funciones Varias de Prolog]]
*[[Lógica: Uso de operadores (Paradigmas)|Tips de uso de operadores en Prolog]]
*[[Media:prolog-utiles.pdf|Predicados útiles de Prolog]] (extraidos del manual de SWI-Prolog)

====Smalltalk====
*[[Media:ApunteObjetosControl.pdf|Apunte de Colecciones y Control de Flujo]]

====Final====
*[https://github.com/CubaWiki/PLP-resumen-iarcuschin Apunte para el final], tiene prácticamente todo lo que está en las teóricas, by Iván Arcuschin (2016)
*[[Media:plp-final.pdf|Resumen para el final]], by Pablo Heiber (2005).
*[[Temas de Final (Paradigmas)|Temas de Final]], ejercicios comunes a encontrar en el final.
*[[Media:plp-final-orales.pdf|Preguntas que suelen tomar cuando son finales orales]].
*[https://docs.google.com/document/d/1o5P-UkgM4Eq9K6ESD9aSqnzXsrl9NAYivCugw4qGgME/edit?usp=sharing Finales y ejercicios teóricos resueltos (2020)]. Link a google docs, muy pesado para subir acá.
*[[Media:plp-apuntes-verano2018.pdf|Apuntes Verano 2018]]

==Exámenes==
====Primeros Parciales====
* [[Medio:2021_2c_1r.pdf | Primer Recuperatorio del 2do Cuatrimestre de 2021]]
* [[Medio:2021_2c_1p.pdf | Primer Parcial del 2do Cuatrimestre de 2021]]
* [[Medio:PLP_1parcial_2019_2c.pdf | Primer Parcial del 2do Cuatrimestre de 2019 (resuelto)]]
* Primer Recuperatorio del 1er Cuatrimestre 2019 [[Medio:PLP 1recu 10-07-19 enunciado.pdf|(enunciado)]]
* [[Media:PLP_1parcial_2019_1c.pdf | Primer Parcial del 1er Cuatrimestre del 2019 (resuelto)]]
* [[Media:PLP_1parcial_2019_v.pdf | Primer Parcial de Verano 2019 (casi resuelto)]]
* [[Media:PLP_1parcial_2018_2c.pdf | Primer Parcial del 2do Cuatrimestre del 2018 ]]([[Media:PLP_1parcial_2018_2c_solucion.pdf |Solución]])

* [[Primer Parcial 1er Cuat 2016 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2016]]
* Primer Parcial - 2do cuatrimestre de 2015 [[Media:Plp_2015_2c_1p.pdf | (Enunciado pdf) ]] (Soluciones: [[Media:PLP_1parcial_2015_2c_solucion_ej1.jpg | 1 ]], [[Media:PLP_1parcial_2015_2c_solucion_ej2_a.jpg | 2 a.]], [[Media:PLP_1parcial_2015_2c_solucion_ej2_b_y_c.jpg | 2 b. y c.]], [[Media:PLP_1parcial_2015_2c_solucion_ej3.pdf | 3]]) 

* Primer Parcial - 1er cuatrimestre de 2015 [[Media:Plp_2015_1c_1p.pdf | (Enunciado pdf) ]] [[Media:PLP_1parcial_2015_1c_solucion_ej1.jpg | (Solución ejercicio 1) ]]
* Primer Parcial - 2do cuatrimestre de 2014 [[Media:Plp_2014_2c_1p.pdf | (Enunciado pdf) ]]
* Primer Parcial - 1er cuatrimestre de 2014 [[Media:Plp_2014_1c_1p.pdf | (Enunciado pdf) ]]
* [[Primer Parcial 1er Cuat 2010 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2010]]
* [[Primer Parcial 2do Cuat 2008 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2008]]
* [[Primer Parcial 1er Cuat 2008 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2008]]
* [[Recuperatorio Primer Parcial 2do Cuat 2007 (Paradigmas)|Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2007]]
* [[Primer Parcial 2do Cuat 2007 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2007]]
* [[Primer Parcial 1er Cuat 2007 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2007]]
* [[Recuperatorio Primer Parcial 2do Cuat 2006 (Paradigmas)|Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2006]] (enunciado [[Media:1er recu 2006 2C (Paradigmas).pdf|pdf]])
* [[Recuperatorio Primer Parcial 1er Cuat 2006 (Paradigmas)|Recuperatorio del Primer Parcial del 1er Cuatrimestre de 2006]] (enunciado [[Media:1er recu 2006 1C (Paradigmas).pdf|pdf]])
* [[Primer Parcial 2do Cuat 2006 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2006]] (enunciado [[Media:1er parcial 2006 2C (Paradigmas).pdf|pdf]])
* [[Primer Parcial 1er Cuat 2006 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2006]] (enunciado [[Media:1er parcial 2006 1C (Paradigmas).pdf|pdf]])

====Segundos Parciales====
** [[Medio:2021_2c_2p.pdf | Segundo Parcial del 2do Cuatrimestre de 2021]]
* Segundo Recuperatorio del 1er Cuatrimestre 2019 [[Medio:PLP 2recu 16-07-19 enunciado.pdf|(enunciado)]]
* Segundo Parcial del 1er Cuatrimestre 2019 [[Medio:PLP 2parcial 29-06-19 enun.pdf|(enunciado)]] [[Medio:PLP 2parcial 29-06-19 resolucion.pdf|(resolución)]]
* [[Medio:PLP_2parcial_13-03-19.pdf|Segundo Parcial del Verano 2019]] ([[Medio:PLP_2parcial_13-03-19_resolucion.pdf|Resolución parte práctica]])
* [[Medio:PLP_2parcial_2cuatri-2018.pdf|Segundo Parcial del 2do Cuatrimestre de 2018]] ([[Medio:PLP_2parcial_2cuatri-2018_resolucion.pdf|Semi-resolución]]) '''ATENCIÓN''': Nota sobre el ejercicio 1 (29/11/2020): La cátedra considera que el ejercicio no está bien definido y no es representativo del tipo de ejercicios que se suelen tomar en la materia. En otras palabras, ignoren ese ejercicio si están estudiando para el parcial.
* [[Medio:PLP_2parcial_1cuatri-2018.pdf|Segundo Parcial del 1er Cuatrimestre de 2018]] ([[Medio:PLP_2parcial_1cuatri-2018_resolucion.pdf|Resolución]])
* Segundo Parcial del 2do Cuatrimestre de 2017 ([[Medio:PLP 2017 2C 2P.pdf| 1, 2 y 4 resueltos]])
* [[Segundo Parcial 1er Cuat 2016 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2016]]
* [[Segundo Parcial 2do Cuat 2009 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre de 2009]]
* [[Segundo Parcial 1er Cuat 2008 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2008]]
* [[Segundo Parcial Especial 2do Cuat 2007 (Paradigmas)|Segundo Parcial Edición Especial del 2do Cuatrimestre de 2007]] (enunciado [[Media:2p esp 2007 2C (Paradigmas).pdf|pdf]])
* [[Segundo Parcial 2do Cuat 2007 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre 2007]]
* [[Recuperatorio Segundo Parcial 2do Cuat 2007 (Paradigmas)|Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2007]]
* [[Recuperatorio Segundo Parcial 1er Cuat 2007 (Paradigmas)|Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2007]] (enunciado [[Media:2r 1c 2007 (Paradigmas).pdf|pdf]])
* [[Recuperatorio Segundo Parcial 1er Cuat 2006 (Paradigmas)|Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2006]]
* [[Segundo Parcial 1er Cuat 2006 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2006]]
* [[Recuperatorio Segundo Parcial 2do Cuat 2005 (Paradigmas)|Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2005]]

====Finales====
* [[Final 28/04/2022 (Paradigmas) | Final del 28 de abril de 2022 (Virtual, Oral) (Melgratti)]]
* [[Final 03/03/2022 (Paradigmas) | Final del 3 de marzo de 2022 (Virtual, Oral) (Melgratti)]]
* [[Final 11/08/2021 (Paradigmas) | Final del 11 de agosto de 2021 (Virtual) (Garbervetsky)]]
* [[Media:PLP_final_18-02-2021.pdf | Final del 18 de febrero de 2021 (Virtual) (Melgratti)]]
* [[Final 27/10/2020 (Paradigmas) | Final del 27 de octubre de 2020 (Virtual) (Rios)]]
* [[Final 28/09/2020 (Paradigmas) | Final del 28 de septiembre de 2020 (Virtual) (Melgratti/Garbervetsky)]]
* [[Final 03/08/2020 (Paradigmas) | Final del 3 de agosto de 2020 (Virtual) (Melgratti/Garbervetsky)]]
* [[Final 13/07/2020 (Paradigmas) | Final del 13 de julio de 2020 (Virtual) (Melgratti/Garbervetsky)]]
* [[Final 18/09/2019 (Paradigmas)|Final del 18 de septiembre de 2019 (Melgratti)]]
* [[Media:PLP_final_19-12-18.pdf|Final del 19 de diciembre de 2018 (Melgratti)]] ([[Media:PLP_resolucion-final_19-12-18.pdf|Resolución]])
* [[Final 21/06/2018 (Paradigmas)|Final del 21 de junio de 2018 (Rios)]]
* [[Final 19/09/2017 (Paradigmas)|Final del 19 de septiembre de 2017 (Melgratti)]]
* [[Final 08/08/2017 (Paradigmas)|Final del 08 de agosto de 2017 (Garbervetsky)]]
* [[Final 01/08/2017 (Paradigmas)|Final del 01 de agosto de 2017 (Garbervetsky)]]
* [[Final 18/05/2017 (Paradigmas)|Final del 18 de mayo de 2017 (Melgratti)]]
* [[Final 09/03/2017 (Paradigmas)|Final del 9 de marzo de 2017 (Melgratti)]]
* [[Final 13/12/2016 (Paradigmas)|Final del 13 de diciembre de 2016 (Melgratti)]]
* [[Final 07/03/2016 (Paradigmas)|Final  del 07 de Marzo de 2016 (Melgratti)]]
* [[Final 26/03/2016 (Paradigmas)|Final del 26 de marzo de 2016 (Melgratti)]]
* [[Media:final_plp_22dic2014_resuelto.pdf|Final oral del 22 de diciembre de 2014, Version 1 (Bonelli)(Resuelto)]]
* [[Final 22/12/2014 (Paradigmas)|Final oral del 22 de diciembre de 2014, Version 2 (Bonelli)(Resuelto)]]
* [[Media:Main.pdf|Final del 22 de Julio de 2014]], [[Media:Plp_final_22_07_14_resuelto.pdf|resuelto]]
* [[Final 12/09/2013 (Paradigmas)|Final oral del 12 de Setiembre de 2013 (Melgratti)]]
* [[Final 10/06/2010 (Paradigmas)|Final del 10 de junio de 2010]]
* [[Final 28/12/2009 (Paradigmas)|Final del 28 de diciembre de 2009]]
* [[Final 10/03/2009 (Paradigmas)|Final del 10 de marzo de 2009]]
* [[Final 24/02/2009 (Paradigmas)|Final del 24 de febrero de 2009]]
* [[Final 14/10/2008 (Paradigmas)|Final del 14 de octubre de 2008]]
* [[Final 12/08/2008 (Paradigmas)|Final del 12 de agosto de 2008]]
* [[Final 24/07/2008 (Paradigmas)|Final del 24 de julio de 2008]]
* [[Final 22/04/2008 (Paradigmas)|Final del 22 de abril de 2008]]
* [[Final 27/12/2007 (Paradigmas)|Final del 27 de diciembre de 2007]]
* [[Final 20/12/2007 (Paradigmas)|Final del 20 de diciembre de 2007]]

== Enlaces externos ==
*[http://haskell.org/ghc/docs/latest/html/libraries/index.html Referencia de todos los modulos de Haskell]
*[http://www.seas.upenn.edu/~cis500/cis500-f03/index.html Software Foundations by Benjamin C. Pierce]
* Artículo muy interesante que explica "fix" y como se llega a la formulación del operador de punto fijo [https://mvanier.livejournal.com/2897.html]