Representación de Nodos AST y Objetos en Python

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:0014:17

Representación de Nodos AST y Objetos en Python

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

Clase 41 de 58

Clase 41 / 58

Recursos

¿Qué es la representación de nodos de AST en un lenguaje de programación?

En el fascinante mundo de los lenguajes de programación, la representación de nodos de AST (Árbol de Sintaxis Abstracta) es vital para el análisis y ejecución de código. En este contexto, surge la necesidad de tomar decisiones importantes sobre cómo estructurar el sistema de objetos que respalda el lenguaje. Lenguajes como Java permiten el acceso a tipos primitivos, mientras que en Python o Dart, todo se accede a través de objetos. Estos enfoques reflejan diferentes prioridades, desde maximizar el rendimiento del hardware hasta mejorar la productividad de los programadores.

¿Por qué elegir un sistema u otro?

Acceso a primitivos vs. objetos: Lenguajes como Java ofrecen acceso a tipos primitivos para optimizar el rendimiento, mientras que Python prefiere trabajar completamente con objetos para mejorar la programabilidad.
Flexibilidad y simplicidad: Los lenguajes que ocultan detalles del hardware suelen proporcionar estructuras más simples y flexibles.
Eficiencia del programador: La productividad del programador puede superar la necesidad de rendimiento del código, favoreciendo lenguajes más sencillos y de alto nivel.

¿Cuáles son los tipos de objetos en nuestro lenguaje de programación?

Platzi, nuestro lenguaje de programación insigne para este análisis, manejará enteros, booleanos y nulos. No incluimos tipos flotantes en este curso, dejándolo como un ejercicio adicional para los programadores más curiosos. Esta personalización del sistema de valores es crucial para el desarrollo adecuado del lenguaje.

¿Cómo se implementa una jerarquía de objetos en Platzi?

La estructura de objetos en Platzi comienza con una clase abstracta de objetos, siguiendo por:

Enum para tipos de objeto: Aquí definimos los tipos de objeto esperados usando auto para no preocuparnos por los valores.

from enum import Enum, auto

class ObjectType(Enum):
    BOOLEAN = auto()
    INTEGER = auto()
    NULL = auto()

Interfaz de objetos: Cualquier objeto debe implementar dos métodos cruciales: type para identificar el tipo y inspect para comprobar el valor interno.

from abc import ABC, abstractmethod

class Object(ABC):
    @abstractmethod
    def type(self):
        pass

    @abstractmethod
    def inspect(self):
        pass

Classes específicas de objeto: Cada tipo de objeto, como enteros y booleanos, hereda de la clase abstracta y debe implementar los métodos requeridos.

class Integer(Object):
    def __init__(self, value: int):
        self.value = value

    def type(self):
        return ObjectType.INTEGER

    def inspect(self):
        return str(self.value)

¿Qué es un Null en la programación y por qué es relevante?

El concepto de null se introdujo en ALGOL en 1965 y es comúnmente conocido como el "billion dollar mistake". Este objeto representa un valor inexistente o vacío y, aunque puede causar complicaciones en algunos programas, también ofrece flexibilidad y se considera estándar en la mayoría de los lenguajes de programación.

Implementación del objeto nulo en Platzi

El objeto nulo en Platzi es sencillo pero crucial para seguir las convenciones de los lenguajes de programación.

class Null(Object):
    def type(self):
        return ObjectType.NULL

    def inspect(self):
        return "null"

¿Cómo asegurar el correcto funcionamiento de los objetos?

Para garantizar que todo el código esté en orden y funcione correctamente, es esencial implementar pruebas continuas y chequeos sintácticos. Utilizar herramientas como unittest o mypy en Python es fundamental para verificar que las clases y métodos se comporten como se espera.

Implementar y mantener un sistema de objetos eficaz en un lenguaje de programación exige conocimientos tanto teóricos como prácticos, y constituye un paso esencial hacia la creación de tu propio lenguaje. ¡No dudes en explorar y expandir estas ideas en tus proyectos personales!

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

Representación de Nodos AST y Objetos en Python