Parseo de Condicionales en Lenguaje Platzi

Curso de Creación de Lenguajes de Programación: Intérpretes

Contenido del curso

Introducción al desarrollo de intérpretes y lenguajes de programación

Construcción del lexer o tokenizador

Construcción del parser o analizador sintáctico

Evaluación o análisis semántico

Mejora del intérprete

Siguientes pasos

Tomar examen

Cursos Empresas Blog Live Conf Eventos Precios

0:0013:50

Parseo de Condicionales en Lenguaje Platzi

Curso de Creación de Lenguajes de Programación: Intérpretes

Clase 31 de 58

Clase 31 / 58

Recursos

¿Cómo parsear condicionales en Platzi?

El parseo es parte fundamental del análisis sintáctico de cualquier lenguaje de programación y el lenguaje de programación Platzi no es la excepción. Para parsear un if statement, es crucial entender su estructura. Veamos la importancia de convertir estos elementos en nodos dentro de nuestro árbol de sintaxis abstracta (AST) y cómo implementarlo en detalle.

¿Qué debemos considerar en la estructura de un if statement?

En el lenguaje de programación Platzi, al igual que en muchos otros, un if statement comienza con una palabra clave sí, seguida por una condición. Esta condición es crucial ya que determinará qué bloque de código, o secuencia de enunciados (statements), se ejecutará si es verdadera.

Bloque de Código: Si la condición es verdadera, se ejecuta el bloque de código subsiguiente. Los bloques de código son en esencia secuencias de statements que se ejecutan solo si el if resulta verdadero.
Alternativa: Opcionalmente, si la condición es falsa, se puede ejecutar un bloque de código alternativo. La posibilidad de no tener una alternativa hace que el diseño sea flexible.

El poder de las condicionales en Platzi aumenta ya que estas se consideran expresiones. Esto permite, por ejemplo, definir una variable con una expresión if que funcione como operador ternario:

variable foo es igual a si x mayor a y regresa a x sino y

¿Cómo probamos la implementación?

Para evaluar si un if expression está correctamente implementado, se generan pruebas específicas. Estas pruebas incluyen:

Tests sin Alternativas:
- Implementar un test que valide un if expression sin tener un bloque alternativo.
- Asegurar que el primer statement dentro del programa sea un expression statement que contiene una expresión if.

Ejemplo de código en Python para tal prueba sería:

def test_if_expressions():
    lexer = Lexer(...)
    parser = Parser(lexer)
    program = parser.parse_program()
    # Verificar si el primer statement es del tipo "expression"
    statement = program.statements[0]
    assert isinstance(statement, ExpressionStatement)

    if_expr = statement.expression
    assert isinstance(if_expr, IfExpression)
    # Verificar condiciones
    assert if_expr.condition is not None
    # Verificar consecuencia
    assert isinstance(if_expr.consequence, BlockStatement)
    assert len(if_expr.consequence.statements) == 1
    assert if_expr.alternative is None

Diseño e implementación de nodos: bloques y condicionales

Para permitir el parseo adecuado de condicionales, se deben diseñar las clases correspondientes:

Clase Block (Bloque): Representa una secuencia de statements ejecutados bajo una condición verdadera. Incluye métodos para convertir la secuencia en un string.

class BlockStatement:
    def __init__(self, token, statements):
        self.token = token
        self.statements = statements

    def to_string(self):
        out = [statement.to_string() for statement in self.statements]
        return ''.join(out)

Clase If (Condicional): Es una expresión que contiene una condición, una consecuencia y potencialmente una alternativa. La implementación de esta clase debe permitir errores de sintaxis manejables sin comprometer la ejecución.

class IfExpression:
    def __init__(self, token, condition, consequence, alternative):
        self.token = token
        self.condition = condition
        self.consequence = consequence
        self.alternative = alternative

    def to_string(self):
        out = f'si {self.condition.to_string()} {self.consequence.to_string()}'
        if self.alternative:
            out += f' sino {self.alternative.to_string()}'
        return out

Ambas clases son fundamentales para ampliar la capacidad de nuestro parser a entender y procesar condicionales correctamente.

A medida que avances en la comprensión de cómo funcionan los condicionales y sus estructuras, es vital recordar que el diseño robusto de pruebas es crucial para asegurar que tu parser maneje los casos de uso previstos y los posibles errores de sintaxis de forma elegante. ¡Sigue adelante, que el camino del aprendizaje está lleno de descubrimientos emocionantes!

Introducción al desarrollo de intérpretes y lenguajes de programación

Construcción de Intérpretes de Software en Python 3.8

Creación de Compiladores e Intérpretes con Lenguaje Platzi

Construcción del lexer o tokenizador

Análisis Léxico: Construcción de un Léxer para Intérpretes

Definición de Tokens en Lenguaje de Programación Platzi

Desarrollo de un Lexer con Test-Driven Development

Pruebas de Operadores, Delimitadores y Fin de Archivo en Lexer Python

Lexer: Identificación de Keywords y Tokens Complejos

Reconocimiento de Funciones en Lexer de Lenguaje de Programación

Implementación de Operadores y Condicionales en Lexer de Platzi

Implementación de Operadores de Dos Caracteres en Lexer

Creación de un REPL en Python para Lenguaje de Programación

Construcción del parser o analizador sintáctico

Construcción de un Parser para el Lenguaje Platzi

Definición de Nodos Abstractos para Árbol de Sintaxis (AST) en Python

Desarrollo de un AST en Python: Creación de la Clase Programa

Parseo de Let Statements en Lenguaje Platzi

Implementación de funciones advanced y expected tokens

Manejo de Errores en Parsers con Test Driven Development

Parseo de Return Statements en Lenguaje Platzi

Técnicas de Parsing: Top-Down y Bottom-Up

Pruebas de AST para Let y Return Statements en Parsers

Pratt Parsing: Implementación y Registro de Funciones en Python

Parseo de Identificadores en Lenguajes de Programación

Parseo de Expression Statements en Platzi Parser

Parseo de Enteros en Lenguaje Platzi

Implementación de Operadores Prefijo en Parsers

Operadores InFix en Expresiones: Implementación y Pruebas

Implementación de Operadores InFix en un Parser

Expresiones Booleanas en el Lenguaje de Programación Platzi

Evaluación de Precedencia y Testeo de Booleanos en Parsers

Evaluación de Expresiones Agrupadas en un Parser

Parseo de Condicionales en Lenguaje Platzi

Implementación de Condicionales en Parser de Lenguaje

Parsing de Funciones en Lenguaje Platzi: Creación de Nodos AST

Construcción de nodos de función en un parser AST

Llamadas a Funciones en Lenguajes de Programación

Implementación de llamadas a funciones en un parser con AST

Parseo de Expresiones en LET y RETURN Statements

Implementación de REPL para Árbol de Sintaxis Abstracta

Evaluación o análisis semántico

Evaluación Semántica en Lenguajes de Programación

Estrategias de Evaluación en Lenguajes de Programación

Representación de Nodos AST y Objetos en Python

Evaluación de Expresiones en JavaScript y Python

Implementación del Patrón Singleton para Booleanos y Nulos

Evaluación de Prefijos en Lenguaje de Programación Platzi

Evaluación de Expresiones Infix en Lenguaje Platzi

Evaluación de Condicionales en Lenguaje de Programación Platzi

Evaluación y Uso del Return Statement en Programación

Manejo de Errores Semánticos en Lenguaje Platzi

Declaración y Gestión de Variables en Lenguajes de Programación

Manejo de Ambientes y Variables en Lenguajes de Programación

Declaración de Funciones en Lenguaje de Programación Platzi

Implementación de Llamadas a Funciones en PlatziLang

Mejora del intérprete

Implementación de Strings en un Intérprete de Lenguaje de Programación

Operaciones de Concatenación y Comparación de Strings en Intérprete

Implementación de Funciones Built-in en Python

Implementación de Built-ins en el Lenguaje Platzi

Siguientes pasos

Desarrollo de Lenguaje de Programación y Estructuras de Datos en Python

Construcción de un Intérprete en Python desde Cero

Parseo de Condicionales en Lenguaje Platzi