Conceptos y

Paradigmas de
Lenguajes de
Programacin

Los lenguajes de Programacin son

el corazn de la Ciencia de la
Computacin.
Son herramientas que usamos para
comunicarnos con las mquinas y
tambin con las personas.

CUAL ES LA IDEA?
El valor de un lenguaje o de un concepto se
debe juzgar segn la forma en que afecta
la produccin de Software y a la facilidad
con la que puede integrarse a otras
herramientas
Introducir, analizar y evaluar los
conceptos ms importantes de los
lenguajes de programacin.

QU CONSEGUIREMOS
Adquirir habilidad de apreciar y evaluar
lenguajes, identificando los conceptos
ms importantes de cada uno de ellos y
sus lmites y posibilidades
Habilidad para elegir, para disear,
implementar o utilizar un lenguaje
Enfatizar la abstraccin como la mejor
forma de manejar la complejidad de
objetos y fenmenos

PARA QU ESTUDIAR
CONCEPTOS DE LENGUAJES
Aumentar la capacidad para producir soft.
Mejorar el uso del lenguaje
Incrementar el vocabulario
Elegir mejor un lenguaje
Facilitar el aprendizaje de nuevos
lenguajes
Facilitar el diseo e implementacin de
lenguajes

CRITERIOS PARA
EVALUAR LOS LENGUAJES
DE PROGRAMACION

 Para poder evaluar los lenguajes necesitamos

establecer criterios de evaluacin.
Objetivos de diseo:

Simplicidad y legibilidad
Claridad en los bindings
Confiabilidad
Soporte
Abstraccin
Ortogonalidad
Eficiencia

Simplicidad Y Legibilidad
Los lenguajes de programacin deberan:
Poder producir programas fciles de
escribir y de leer.
Resultar fciles a la hora de aprenderlo
o ensearlo
Ejemplo de cuestiones que atentan contra esto:

Muchas componentes elementales

Conocer subconjuntos de componentes
El mismo concepto semntico distinta sintaxis
Distintos conceptos semnticos - la misma
notacin sintctica
Abuso de operadores sobrecargados

Claridad en los bindings

Los elementos de los lenguajes de
programacin pueden ligarse a sus atributos o
propiedades en diferentes momentos:
Definicin del lenguaje
Implementacin del lenguaje
En escritura del programa
Compilacin
Cargado del programa
En ejecucin
La ligadura en cualquier caso debe ser clara

Confiabilidad
La confiabilidad est relacionada con la seguridad
Chequeo de tipos
Cuanto antes se encuentren errores
menos costoso resulta realizar los
arreglos que se requieran.
Manejo de excepciones
La habilidad para interceptar errores en
tiempo de ejecucin, tomar medidas
correctivas y continuar.

Soporte
Debera ser accesible para cualquiera que
quiera usarlo o instalarlo

Lo ideal sera que su compilador o

intrprete sea de dominio pblico

Debera poder ser implementado en

diferentes plataformas
Deberan existir diferentes medios para
poder familiarizarse con el lenguaje:
tutoriales, cursos textos, etc.

Abstraccin

Capacidad de definir y usar estructuras

u operaciones complicadas de manera
que sea posible ignorar muchos de los
detalles.

Abstraccin de procesos y de datos

Ortogonalidad

Bsicamente significa que un conjunto

pequeo de constructores primitivos, puede
ser combinado en nmero relativamente
pequeo a la hora de construir estructuras de
control y datos. Cada combinacin es legal y
con sentido.
El usuario comprende mejor si tiene
un pequeo nmero de primitivas y un
Pascal y ADAconsistente
NO son ortogonales,
SI
conjunto
deAlgol
reglas
de
En Pascal,combinacin.
por ejemplo: 1) los proc y las funciones pueden ser pasadas por
parmetro pero solo pueden pasar parmetros por valor, 2) las funciones
SOLO pueden devolver datos elementales, NO punteros, ni arreglos, etc.

En ADA, por ejemplo: los parmetros por valor pasados solo pueden ser
elementales, por referencia: arreglos, etc.

EFICIENCIA
Tiempo y Espacio
Esfuerzo humano
Optimizable