Conceptos fundamentales Historia y Conceptos fundamentales Lenguajes de programación Aurelio Sanabria Alajuela
Lenguajes de programación Producto de diseño Es universal Implementable Posee Sintaxis, semántica y pragmática Abstracción
Historia
“Birth of the Punch Card Technology” https://historyofpunchcards.wordpress.com/2014/03/10/birth-of-the-punch-card-technology/
Historia 50s ~ 60s Ensamblador: 1:1 con instrucciones del procesador FORTRAN: introduce expresiones simbólicas, arreglos y procedimientos con parámetros. COBOL: orientado a negocios, clientes utilizando las computadoras para procesar datos de negocios no se sentían a gusto con la notación matemática, introduce el concepto de tipo de datos. ALGOL60: Introduce el concepto de bloque y scope, soporte recursividad
Historia 60s ~ 70s PASCAL: portabilidad, conjunto enriquecido de tipos y estructuras de control, apogeo de programación estructurada. C: Unix, programación de sistemas. Prolog, LISP, Scheme, ML: descubrimiento de nuevos paradigmas más allá del imperativo.
Historia 70s ~ 80s C++, Objective-C, Ada: consolidación de principios fundamentales, orientación a objetos
Historia 90s ~ 00s Java: consolidación de OO en ingeniería de software Perl, Ruby, Python, PHP, Javascript: programación web / scripting.
Historia 00s ~ Paradigma funcional recobra fuerza Programación concurrente y distribuida Móviles Programación orientada a aspectos C#, Groovy, Scala, Clojure
Conceptos fundamentales
Lenguajes Estáticamente tipados Cada variable y parámetro tiene un único tipo fijo que es escogido por el programador El tipo de las expresiones puede ser calculado durante la compilación Permite detectar muchos errores durante la compilación
Lenguajes Dinámicamente tipados Solo los valores tienen tipos fijos Las variables y parámetros no tienen tipos fijos, toman el tipo de los valores que se les va asignando La revisión de tipos de las operaciones debe hacerse justo antes de ejecutarlas Usado en lenguajes interpretados La revisión reduce la velocidad de ejecución Es más flexible
Variable Modelo de almacenamiento: Formado por celdas o localizaciones. Cada celda puede estar en un estado allocated/unallocated. Cada celda allocated tiene un contenido que puede ser un valor o indefinido.
Variables Dinámicas Son creadas y borradas en cualquier momento. creadas por una instrucción particular anónimas accedidas por medio de un puntero
Variables Dinámicas Puntero: valor que permite acceder una variable; pueden asignarse, incorporarse en estructuras de datos, etc.
Problemas asociados con variables dinámicas Variables inaccesibles: surgen cuando se pierden todas las referencias a una variable dinámica; la variable ocupa espacio pero no se puede accesar; new(p); la primera variable queda inaccesible
Problemas asociados con variables dinámicas Referencias colgadas: ocurren cuando se acceden variables dinámicas cuya vida ya expiró; suelen darse al tener referencias duplicadas y se usa una de ellas para destruir la variable pero a se usa la referencia copiada para continuar accediéndola.
Alcance Porción del texto del programa sobre la cual una declaración tiene efecto. Estructura de bloques: Un bloque es una frase del programa que delimita el alcance de cualquier declaración que contenga Monolítica (antiguo COBOL) Plana (Fortran) Anidada (Algol-like)
Paso de Parámetros Permite la comunicación de datos entre unidades de un programa La convención escogida afecta la semántica del lenguaje
Paso de Parámetros
Paso por referencia La unidad que llama pasa a la unidad llamada la dirección del parámetro real Una referencia al parámetro formal correspondiente es tratada como referencia a la localización cuya dirección fue pasada Si el parámetro real es una expresión que no es variable, se calcula su valor y se pasa una referencia a la posición temporal que almacena el resultado.
Paso por copia Los parámetros formales no comparten referencias con los parámetros reales Los parámetros formales son variables locales cuyos valores son inicializados con los valores de los parámetros reales. Las técnicas se pueden clasificar en tres grupos de acuerdo con la forma en que estas variables locales son inicializadas: call-by-value, call-by-result y call-by- value-result.
Paso por copia call-by-value Al ser invocado el subprograma, se evalúan los parámetros reales y se inicializan las variables locales No permite el flujo de datos de vuelta al subprograma que llama
Paso por copia call-by-result Al finalizar el subprograma llamado, los valores de las variables locales son copiados a los parámetros reales No usa los valores iniciales de los parámetros reales
Paso por copia call-by-value-result Se comporta como call-by-value al ser invocado el subprograma y como call-by-result. cuando finaliza dicho subprograma Esto es, se inicializan las variables locales al invocar el subprograma, y su valor se copia a los parámetros reales al terminar
Principios de diseño
Principios de diseño Facilidad de escritura
Principios de diseño Facilidad de escritura
Principios de diseño Legibilidad
Principios de diseño Legibilidad
Principios de diseño Confiabilidad
Principios de diseño Confiabilidad
Principios de diseño Mantenibilidad
Principios de diseño Mantenibilidad
Principios de diseño “How did perl gain a reputation for being a write-only language?” https://www.reddit.com/r/perl/comments/35ax2q/how_ did_perl_gain_a_reputation_for_being_a/
Principios de diseño “How to write unmaintanable C code” https://www.thc.org/root/phun/unmaintain.html
Las presentaciones para el curso “IC-4700: Lenguajes de programación” por Aurelio Sanabria se distribuyen bajo una Licencia Creative Commons Atribución-Compartir Igual 3.0 Costa Rica. http://creativecommons.org/licenses/by-sa/3.0/cr/ *La licencia de la presentación no cubre las imágenes utilizadas* http://creativecommons.org/licenses/by-sa/3.0/cr/