Resumen de Paradigmas de Programación de Yamila Aylén Soto

Resumen de Paradigmas de Programación de

Yamila Aylén Soto

Contenido

 Conceptos Transversales        5

Paradigmas de Programación        5

¿Qué es un programa?        5

Operación        5

Abstracción        5

Alto nivel y Bajo nivel        5

Expresividad y Declaratividad        6

Expresividad        6

Declaratividad        6

Orden superior        6

Paradigma Lógico        7

Paradigma Estructurado        7

Transparencia Referencial        7

Efecto de Lado        7

Unificación        7

Asignación Destructiva        7

Importancia de los últimos cuatro conceptos        7

Separar la lógica que hace cosas de la que consulta        7

Respetar los contratos blandos        7

Optimizaciones        7

Procesamiento en paralelo        8

Testing        8

Inmutabilidad        8

Declarar vs Instanciar vs Inicializar        8

Estrategias de Evaluación        8

Evaluación Ansiosa/Estricta (Eager Evaluation)        8

Evaluación Perezosa/Diferida (Lazy Evaluation)        8

Deducciones        9

Recursividad        9

Polimorfismo        9

Polimorfismo paramétrico vs ad hoc (Funcional)        9

Repetición de Lógica        9

Esquemas de Tipado        9

Casteo/Casting/Conversión de tipo        9

Sistemas de Tipos        9

Tipado Implícito vs Explícito        10

Chequeo Estático vs Dinámico        10

Detección de Errores        10

Tipos Nominales y Estructurales        10

Algunas combinaciones posibles        10

Clasificaciones        10

Máquina Virtual        10

 Unidad n° 1: Paradigma Funcional – Haskell        11

Función        11

Función como caja negra        11

Función como transformación matemática        11

Función desde un punto de vista procedural        11

Función como un TAD        11

Función desde el cálculo lambda        11

Funciones en Haskell        11

Declaración de Variables Etiquetas        11

Declaración de Funciones        11

Inmutabilidad, Efecto y Transparencia Referencial        11

Precedencia de operadores        12

Otros Operadores        12

Pattern matching        12

Variable anónima        12

Errores Comunes        12

Función Parcial        12

Guardas (Funciones Partidas)        12

Errores Comunes        13

Tipado        13

Tipado de Funciones        13

Inferencia        13

¿La inferencia de tipos es una característica del paradigma funcional?        13

Problemas de inferencia en Haskell        13

Variables de Tipo        13

TypeClasses        13

¿Qué tipos pertenecen a cada restricción?        13

La restricción Show        14

DATA        14

Instantiation        14

Acceder a Estructuras/Accessors        14

Azúcar Sintáctico para construir accessors        14

Type Alias        14

Tuplas        14

Pattern Matching Avanzado        14

Patrón Compuesta        15

Manejando el Efecto        15

Currificación        15

Aplicación        15

Aplicación Parcial        15

Notación Point Free        15

Composición        15

Composición de muchos parámetros        16

Orden Superior en Funcional        16

¿La aplicación parcial es también orden superior?        16

Expresiones Lambda        16

Lambdas y Pattern Matching        16

Listas [a]        16

Listas a Bajo Nivel        16

Listas en Alto Nivel        16

Loop Infinito        17

Listas por Compresión        17

Definiciones Locales: Where        17

FOLD / Reducción        17

Listas en No-Tan-Alto Nivel        17

 Unidad n° 2: Paradigma Lógico        18

Principio de Universo Cerrado        18

Parámetros        18

Individuos        18

Variables y Variables Incógnitas        18

Predicados        18

Cláusulas        18

Aridad de los Predicados        19

Consultas        19

Conjunción y Disyunción        19

Unificación vs Asignación        19

Predicados simétricos        19

Inversibilidad        19

Generación        20

Casos Posibles de No-Inversibilidad        20

...