Lenguajes de Programación
Conceptos Generales
Type in the name of the book you have read.
Lenguaje anfitrión y objetivo
In contrast to the main idea, the theme is the message, lesson or moral of the book.
Some tips to find out the theme of the book easier:
- Try to find it while you are reading. It may be stated or implied.
- Think about how the characters reacted to obstacles.
- Think about the important decisions that the characters made.
- Think about the characters growing or changing throughout the book.
Objetivo
Es el lenguaje que queremos implementar.
Ejemplo: El compilador de Haskell está escrito en Haskell. En este caso, el lenguaje objetivo es Haskell.
Anfitrión
Es el lenguaje en el que implementamos un compilador o intérprete.
Ejemplo: El compilador de Haskell está escrito en Haskell. En este caso, el lenguaje anfitrión sería Haskell.
Componentes de los lenguajes de programación
Idioms
Son las reglas no escritas que tiene un lenguaje. También pueden verse como las convenciones de código en un lenguaje de programación.
Ejemplo: En Java, los nombres de las clases deben ser sustantivos. Cuando son compuestos, tendrán la primera letra de cada palabra que lo forma en mayúsuclas.
Bibliotecas
Es el conjunto de funciones previamente definidas en un lenguaje, las cuales están disponibles para utilizarse por los programadores.
Ejemplo: En Java, tenemos la clase String; la cual nos permite utilizar varios métodos para poder trabajar con cadenas de caracteres.
Semántica
Es el significado que se le otorga a cada una de las sentencias escritas, de acuerdo a la sintaxis definida previamente en el lenguaje.
Ejemplo: En Java, si escribimos la expresión "int cc = 0" entonces se entiende que a la variable "cc" se le asigna el tipo entero, el cual tiene un valor de 0.
Sintaxis
Take notes while you read the book. Write here your favorite quotes from the book.
Es el conjunto de reglas que debemos seguir para que el compilador sea capaz de reconocer nuestro programa como válido.
Ejemplo: En Java, el nombre de la clase debe ser igual que el nombre del archivo que la contiene. Es decir, si nuestra clase es de la forma "public class ArbolBinario {...}", entonces el archivo que contiene esta clase debe llamarse ArbolBinario.java
Definición
Take notes while you read the book. Type here the resources, books, or websites that the author mentioned and you want to check out later.
Informal
Es un lenguaje formal que, mediante una serie de instrucciones, le permite a un programador escribir un conjunto de órdenes, acciones consecutivas, datos y algoritmos para crear programas que controlen el comportamiento físico o lógico de una computadora.
Es un lenguaje que nos ayuda a escribir instrucciones para que la computadora pueda entenderlas y ejecutarlas.
Formal
Se entiende como lenguaje de programación, única y exclusivamente a aquellos que cumplen con la definición anterior.
Es una terna L =
[[.]]_L es la función semántica de L tal que
[[.]]_L: P_L -> D_L -> D_L
D_L es el conjunto de datos (de entrada y salida) de L, y es diferente del vacío.
P_L es el conjunto de programas de L, y es diferente del vacío.
Interpretado vs Compilado
What is the reason why the author wrote the book?
Compilado
Ejemplo: C y C++
Costo de desarrollo alto
Eficiencia de traducción alta.
Velocidad de traducción baja
Manda los errores en conjunto, despúes de la compilación.
Se traduce siempre todo el código.
El código se traduce antes de ejecutar.
Transforma el código fuente de un programa a su equivalente en otro lenguaje de más bajo nivel.
Interpretado
Paradigmas de programación
Who is the author of the book? Type in his/her name.
Lenguajes de programación más populares entre 1965 y 2020
Multiparadigma
Ejemplo: Python
Son aquellos lenguajes de programación que implementan características de diferentes paradigmas.
Lógico
Ejemplo: Prolog
Está basado en la lógica de primer órden y las expresiones del lenguaje son Cláusulas de Horn.
Funcional
Ejemplo: Haskell
Se enfatiza en el uso de funciones y sus aplicaciones más que en comandos y sus ejecuciones.
Orientado a Objetos
Ejemplo: Java
Todos los elementos de estos lenguajes son modelados como objetos, con atributos y comportamiento.
Estructurado
Ejemplo: C
Los programas son secuencias lineales de código que se van ejecutando en órden una después de otra
