Cuando construyes tu propio lenguaje de programación, llega un punto crítico: implementar la capacidad de detener el flujo de ejecución y devolver un valor. Eso es exactamente lo que hace el return statement, y entender cómo funciona internamente te da una comprensión profunda de cómo operan los lenguajes que usas a diario.

¿Por qué el return statement detiene la ejecución del programa?

El return statement no solo devuelve un valor, sino que interrumpe por completo la evaluación de cualquier statement posterior [01:06]. Esto significa que aunque existan más líneas de código después del regresa, el evaluador las ignora por completo. Este comportamiento es fundamental para controlar el flujo de un programa y es consistente con lo que ocurre en lenguajes como Python, JavaScript o Go.

Para lograr esto en el intérprete, se necesitan tres modificaciones principales:

• Crear un nuevo objeto Return dentro del sistema de objetos.
• Transformar la función evaluate_statements en una más genérica llamada evaluate_program [05:40].
• Generar una función especializada evaluate_block_statement que detecte cuándo aparece un return y detenga la evaluación del bloque [07:22].

¿Cómo se diseñan los tests para el return statement?

Los tests cubren múltiples escenarios que validan el comportamiento esperado [02:06]:

• Literal simple: regresa 10; debe devolver 10.
• Dos statements: si hay un return antes de otro statement, solo se devuelve el valor del return.
• Expresiones complejas: regresa 3 * 6; debe devolver 18, no evaluar nada posterior.
• Condicionales anidados: cuando un return aparece dentro de un bloque si, debe detener la ejecución de todo el bloque contenedor [03:30]. Si hay un regresa 1 seguido de un regresa 0 en bloques distintos, el resultado es 1 porque la ejecución se detuvo en ese punto.

¿Qué estructura tiene el objeto Return?

El objeto Return es sencillo pero esencial [04:32]. Su constructor recibe un valor de tipo objeto, aprovechando que todos los objetos del sistema implementan la interfaz con las funciones type e inspect. La función type devuelve un identificador de tipo return, mientras que inspect delega al propio valor interno, llamando su método inspect. Así se mantiene la consistencia del sistema de objetos.

python class Return(Object): def init(self, value: Object): self.value = value

def type(self) -> ObjectType:
    return ObjectType.RETURN

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

¿Cómo se modifica el evaluador para reconocer el return?

La función evaluate_program itera sobre cada statement del programa. Cuando el resultado de evaluar un statement es una instancia del objeto Return, se desempaqueta el valor y se devuelve de inmediato [06:20]. Este desempaquetado es clave: el programa no devuelve el objeto Return en sí, sino el valor que contiene.

¿Qué papel juega evaluate block statement?

A diferencia de evaluate_program, la función evaluate_block_statement no desempaqueta el objeto Return [07:50]. Cuando detecta que el tipo del resultado es return, simplemente lo propaga hacia arriba. Esto permite que los bloques anidados, como los de condicionales, pasen el return al nivel superior sin perder la señal de detención.

python def evaluate_block_statement(block: Block) -> Optional[Object]: result = None for statement in block.statements: result = evaluate(statement) if result is not None and result.type() == ObjectType.RETURN: return result return result

La detección del return statement dentro de la función principal evaluate funciona así [09:00]: se identifica el nodo AST como un ReturnStatement, se evalúa su return_value (que puede ser cualquier expresión, no solo una literal), y se envuelve el resultado en un objeto Return. Este objeto viaja por la cadena de evaluación hasta llegar a evaluate_program, donde finalmente se extrae el valor.

Un detalle importante durante la implementación fue un error al nombrar el objeto como result en lugar de return [10:05], lo que provocó que los tests fallaran hasta corregir el nombre. Este tipo de errores son comunes y refuerzan la importancia de ejecutar los tests de forma iterativa.

Con el return statement funcionando, el lenguaje ya puede detener la ejecución en cualquier punto, devolver literales, resultados de expresiones complejas y manejar correctamente bloques condicionales anidados. ¿Has implementado algún mecanismo similar en tus proyectos? Comparte tu experiencia en los comentarios.