Es increíble pensar que todo lo que hemos hecho hasta ahora es únicamente identificar tokens y darle un orden que tiene sentido, pero realmente hasta ahora el lenguaje no hace nada…
.
Lo genial de esta parte que viene es que podemos ser creativos, y si queremos podemos primero evaluar a dos() y luego a uno(), o podemos hacer algo todavía más loco, decir que 5 + 2 es igual a 3 porque podemos interpretar el caracter + como una resta, el caracter + es solo un símbolo gráfico que nosotros asociamos a la suma, pero para la computadora, eso puede ser una resta 😄! Pd. No hagas esto último… ¡Pero imagina las posibilidades!, prácticamente tenemos el poder en nuestras manos ^^
Introducción al desarrollo de intérpretes y lenguajes de programación
Aprende a desarrollar lenguajes de programación con intérpretes
Desarrolla LPP o Lenguaje de Programación Platzi
Construcción del lexer o tokenizador
¿Qué es análisis léxico? Funcionamiento del lexer y tokens
Estructura y definición de tokens en Python
Lectura de caracteres y tokens
Tokens ilegales, operadores de un solo carácter y delimitadores
Reconocimiento y diferenciación entre letras y números
Declaración y ejecución de funciones
Extensión del lexer: condicionales, operaciones y booleanos
Operadores de dos caracteres
Primera versión del REPL con tokens
Construcción del parser o analizador sintáctico
¿Qué es un parser y AST?
Estructura y definición de nodos del AST en Python
Parseo del programa o nodo principal
Parseo de assignment statements
Parseo de let statements
Parseo de errores
Parseo del return statement
Técnicas de parsing y pratt parsing
Pruebas del AST
Implementación del pratt parser
Parseo de Identifiers: testing
Parseo de Identifiers: implementación
Parseo de enteros
Prefix operators: negación y negativos
Infix operators y orden de las operaciones: testing
Infix operators y orden de las operaciones: implementación
Parseo de booleanos
Desafío: testing de infix operators y booleanos
Parseo de expresiones agrupadas
Parseo de condicionales: testing y AST
Parseo de condicionales: implementación
Parseo de declaración de funciones: testing
Parseo de declaración de funciones: AST e implementación
Parseo de llamadas a funciones: testing y AST
Parseo de llamadas a funciones: implementación
Completando los TODOs o pendientes del lexer
Segunda versión del REPL con AST
Evaluación o análisis semántico
Significado de símbolos
Estrategias de evaluación para intérpretes de software
Representación de objetos
Evaluación de expresiones: enteros
Evaluación de expresiones: booleanos y nulos
Evaluación de expresiones: prefix
Evaluación de expresiones: infix
Evaluación de condicionales
Evaluación del return statement
Manejo de errores
Ambiente
Bindings
Evaluación de funciones
Llamadas a funciones
Mejora del intérprete
Implementación de strings
Operaciones con strings
Built-in functions: objeto y tests
Built-in functions: evaluación
Siguientes pasos
Retos para expandir tu intérprete
Continúa con el Curso de Creación de Compiladores de Software
No tienes acceso a esta clase
¡Continúa aprendiendo! Únete y comienza a potenciar tu carrera
Si ya tienes una cuenta,
Significado de símbolos
39/58Recursos
¿Qué es el análisis en lenguajes de programación?
El análisis en lenguajes de programación es mucho más que solo entender los símbolos (o tokens) y su sintaxis, como el correcto uso de paréntesis, comas y puntos y comas. Aunque estos elementos son fundamentales, el verdadero núcleo de un lenguaje de programación es el análisis semántico, el proceso que otorga significado a estos símbolos. Sin él, expresiones como "2 más 2" serían simples estructuras, desprovistas de sentido. Por ejemplo, determinar si una expresión debe evaluar a verdadero o falso, como sucede con el número 5 en diferentes lenguajes, forma parte de estas decisiones semánticas.
¿Cómo se define el comportamiento de un lenguaje?
Definir el comportamiento de un lenguaje implica tomar varias decisiones semánticas que afectan la evaluación de las expresiones:
- Evaluación de expresiones: Decisiones sobre cómo deben comportarse las operaciones básicas, como la suma o la división.
- Evaluación de condiciones: Como en algunos lenguajes, un valor numérico debe ser transformado en un valor booleano para evaluaciones condicionales.
- Orden de ejecución: Decidir si el lenguaje evaluará los parámetros de una función de izquierda a derecha o viceversa.
Cada elección determina cómo un intérprete o compilador procesará una expresión durante la ejecución del programa.
¿Cómo afectan las decisiones de evaluación al diseño de un lenguaje?
Las decisiones de evaluación no solo definen cómo opera el lenguaje, sino que también influyen en su diseño. Por ejemplo, en Platzi, un lenguaje de programación ficticio usado para ilustrar conceptos:
- Cuando dos funciones son llamadas como parámetros de una fórmula, la función que está más a la izquierda se evalúa primero.
- Está programado para seguir un orden específico, que es una decisión consciente del diseñador del lenguaje, no una característica inherente de todos los lenguajes.
Este nivel de detalle en la implementación de un lenguaje es fundamental para soportar su sintaxis y semántica deseadas.
Recuerda que, al aprender estas estrategias de evaluación y diseño de lenguajes, no solo se trata de comprender a fondo un lenguaje existente, sino de abrir la puerta a la creación de nuevos lenguajes y herramientas, lo que puede tener un impacto significativo en el mundo tecnológico actual. ¡Sigue explorando y expandiendo tus conocimientos!
Aportes 1
Preguntas 0
Ordenar por:
¿Quieres ver más aportes, preguntas y respuestas de la comunidad?