Operadores InFix en Expresiones: Implementación y Pruebas

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:0010:40

Operadores InFix en Expresiones: Implementación y Pruebas

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

Clase 26 de 58

Clase 26 / 58

Comentarios (1)1 comentarios

Carlos Eduardo Gomez García

Hace 6 años

En mi caso, hace algunas cuántas clases me dio por agregar los infix operators de triple comparación y diferencia (===, !==) al lexer que estamos haciendo, así que ahora que los estamos convirtiendo en expresiones puedo fácilmente añadir a los tests esos mismos operadores, me imagino que la función a ejecutar será llamada desde el método _parse_expression del parser quien es el que se está encargando de llamar a las funciones según su token, así que sería cuestión de agregar los tokens que cree para estos dos operadores 👀 . De hecho, ahora que lo pienso, podría agregar más operadores al Lexer, como el operador de nave espacial de PHP: <=> O también podría agregar el símbolo de potencia: ^, o para hacerlo mas Pythonesco podría ser este jaja: **, uhh puedo agregar más operadores al Lexer! . Este sería mi source por ahora jaja:

source: str = """
            5 + 5;
            5 - 5;
            5 * 5;
            5 / 5;
            5 > 5;
            5 < 5;
            5 == 5;
            5 === 5;
            5 != 5;
            5 !== 5;
        """

Carlos Eduardo Gomez García

Hace 6 años

Vengo del futuro! (de nuevo), adjunto a esto los tests para los operadores de <= y >=: . Test Infix Expression

Recursos

¿Qué son los InFix Operators?

Los InFix Operators son operadores matemáticos o lógicos que se colocan entre dos operandos para realizar una operación. Estos son comunes en la programación y en matemáticas. Ejemplos clásicos incluyen:

+ para la suma. Ejemplo: 5 + 5
- para la resta. Ejemplo: 5 - 5
* para la multiplicación. Ejemplo: 5 * 5
/ para la división. Ejemplo: 5 / 5
> para verificar si un número es mayor que otro. Ejemplo: 5 > 4
< para verificar si un número es menor que otro. Ejemplo: 5 < 6
== para verificar la igualdad. Ejemplo: 5 == 5
!= para verificar si no son iguales. Ejemplo: 5 != 4

Estos operadores son fundamentales en la mayoría de los lenguajes de programación y son esenciales para manipular y evaluar expresiones complejas.

¿Cómo se implementan los operadores InFix en un AST?

Para manejar operadores InFix dentro de un Árbol de Sintaxis Abstracta (AST), es crítico definir los nodos correspondientes para representar las expresiones. En este contexto, se introduce un nuevo nodo, que se denomina InFix, como un tipo de expresión. Esto se debe hacer en conjunto con algunas modificaciones en el parser.

Creación de la clase InFix

class InFix(Expression):
    def __init__(self, token, left, operator, right=None):
        super().__init__(token)
        self.left = left  # El operando izquierdo
        self.operator = operator  # El operador en sí
        self.right = right  # El operando derecho, inicialmente puede ser None

    def __str__(self):
        # Devuelve la representación en cadena de la expresión InFix
        return f"({self.left} {self.operator} {self.right})"

Test de Expresiones InFix

Para asegurarse de que las expresiones se manejan correctamente, se diseña un test conocido como testInFixExpressions. Este test verifica todas las combinaciones posibles de InFix Operators que se desean soportar, como se indica en el siguiente ejemplo dentro del test:

def test_in_fix_expressions(self):
    program = """
    5 + 5;
    5 - 5;
    5 * 5;
    5 / 5;
    5 > 5;
    5 < 5;
    5 == 5;
    5 != 5;
    """
    lexer = Lexer(program)
    parser = Parser(lexer)
    statements = parser.parse_program()
    
    expected_operators = ["+", "-", "*", "/", ">", "<", "==", "!="]
    expected_values = [5] * 8  # Se espera que todos sean 5

    for i, stmt in enumerate(statements):
        expression = stmt.expression
        assert expression.left == expected_values[i]
        assert expression.operator == expected_operators[i]
        assert expression.right == expected_values[i]

Modificaciones en el Parser

Además de los cambios en los nodos AST, se realizan actualizaciones en el parser para manejar estas expresiones InFix. Esto incluye:

Añadir constantes que reflejen las precedencias de los operadores, necesarias para evaluar expresiones complejas adecuadamente.
Crear funciones auxiliares para procesar y determinar la precedencia de los tokens actuales y siguientes.
Extender funciones como parseExpressions para trabajar de manera eficiente con expresiones que contienen operadores InFix.

¿Qué pasos deberían seguirse al implementar InFix Operators?

Para implementar correctamente los operadores InFix en un sistema de análisis de lenguaje, es fundamental:

Crear nodos específicos en el AST que representen las expresiones.
Asegurar que el parser pueda identificar y manejar estos operadores.
Implementar tests exhaustivos para validar que las expresiones con operadores InFix se evalúan de forma adecuada.
Estar preparado para gestionar errores de parsing, donde el lado derecho de una expresión pudiera no parsearse correctamente, marcándolo como opcional.

Este proceso es esencial para aquellos interesados en desarrollar un lenguaje de programación o entender mejor la construcción de un compilador efectivo. Es una experiencia enriquecedora para cualquier desarrollador que desee profundizar en la teoría del lenguaje de programación y sus aplicaciones prácticas.

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

Operadores InFix en Expresiones: Implementación y Pruebas