FuncionalResĆŗmenes de claseFuncional_Modulo1.pdf IntroducciĆ³n al paradigma funcional Funcional_Modulo2.pdf InducciĆ³n, Recursividad, Pattern matching Funcional_Modulo3.pdf Tipos, Listas, Listas por comprensiĆ³n, Tuplas, ComparaciĆ³n lista-tupla Funcional_Modulo4.pdf ComposiciĆ³n de funciones. Listas infinitas. EvaluaciĆ³n diferida Funcional_Modulo5.pdf Funciones de orden superior: filter, map, foldl. Funcional_Modulo6.pdf Repaso de composiciĆ³n. Funciones constantes. Repaso foldl. Expresiones lambda. Definiciones locales. AplicaciĆ³n parcial. Funcional_Modulo7.pdf CurrificaciĆ³n. AplicaciĆ³n parcial. Inferencia de tipos. Polimorfismo. ExplicaciĆ³n complementaria de GermĆ”n Leiva, que es un docente amigoĀ Apuntes complementarios IntroducciĆ³n al lenguaje Haskell Apunte de Haskell de JosĆ© Labra - Universidad de Oviedo (interesante material para leer de corrido). Las primeras 30 pĆ”ginas cubren el temario del paradigma funcional YAHT - Yet Another Haskell Tutorial Excelente tutorial de Hal DaumĆ©, bastante completo y con ejemplos interesantes Learn You a Haskell for Great Good! Un tutorial on-line ilustrado, muy ameno A Gentle Introduction to Haskell Paper que introduce a los conceptos de Haskell, no es tan bĆ”sico como sugiere su tĆtulo Links Sitio oficial de Haskell Tutoriales y Papers del sitio de Haskell | LĆ³gicoResĆŗmenes de claseLogico_Modulo1.pdf IntroducciĆ³n al Paradigma LĆ³gico. Hechos y reglas. Consultas. Variables. Universo cerrado. Atributos y relaciones. Definiciones por comprensiĆ³n/extensiĆ³n. Logico_Modulo2.pdf Ejemplo. Pattern matching. UnificaciĆ³n. ComparaciĆ³n funcional/imperativo vs. lĆ³gico, comparaciĆ³n SQL/LĆ³gico Logico_Modulo3.pdf UnificaciĆ³n vs.asignaciĆ³n, Recursividad, AritmĆ©tica, Inversibilidad de clĆ”usulas, NegaciĆ³n. Logico_Modulo4.pdf Listas. Predicados recursivos y pattern matching aplicados a listas. ResoluciĆ³n de Ejercicios. Logico_Modulo5.pdf Intro a Functores. Functores y polimorfismo. Predicados de orden superior: findall.Ā Logico_Modulo6.pdf ExplosiĆ³n combinatoria. Predicados de orden superior: forall. Repaso de lĆmites a la inversibilidad.Ā Predicados generadores.Ā Logico_Modulo7.pdf BONUS: Repaso de conceptos cross: Declaratividad. Tipos. Polimorfismo. Orden superior. Recursividad. Pattern matching. Usos y limitaciones. | ObjetosResĆŗmenes de clase Objetos_Modulo01.pdf Objeto. Mensaje. Ambiente. Referencias. Objetos_Modulo02.pdf Mensaje vs. mĆ©todo. Polimorfismo. Interfaz. AbstracciĆ³n. Encapsulamiento. Forma de trabajo en Smalltalk. Celulares - Object Browser.pdf Ejercicio de Celulares a desarrollar en clase de caĆ±Ć³n - Object Browser , con una soluciĆ³n explicada paso a paso Objetos_Modulo03.pdf Intro a Clase. Herencia. Criterios para subclasificar. Instancias o clases. Clase abstracta. Mensajes que le puedo enviar a una clase. Objetos_Modulo04.pdf Clase. Tipo. Self. Acceso directo y acceso indirecto. Method lookup. Super. Objetos_Modulo05.pdf Intro a colecciones. Bloques de cĆ³digo. Declaratividad en Objetos. Objetos_Modulo06.pdf Tipos de colecciones. Variables/mĆ©todos de clase. Objetos_Modulo07.pdf CĆ³mo resolver un ejercicio de examen - AplicaciĆ³n de conceptos vistos hasta ahora - DelegaciĆ³n Objetos_Modulo08.pdf BONUS. Enlace o binding. Sobrecarga. Mensajes en cascada. Igualdad e identidad. Copia superficial y copia profunda. |