Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
teaching:cc4101:tareas:xyz:2024-1:tarea3 [2024/07/11 02:10] – [Codificando Lambdas (1 pto)] fdiazteaching:cc4101:tareas:xyz:2024-1:tarea3 [2024/07/11 02:24] (current) – [Codificando funciones anónimas de primera clase con Objetos (1 pto)] fdiaz
Line 18: Line 18:
 - **Clases y objetos**: En esta sección se pide extender el lenguaje base con clases y objetos. En particular las clases deben ser entidades de primera clase, es decir, son valores del lenguaje. - **Clases y objetos**: En esta sección se pide extender el lenguaje base con clases y objetos. En particular las clases deben ser entidades de primera clase, es decir, son valores del lenguaje.
  
-- **Codificando Lambdas con Objetos**: El objetivo de esta sección es extender el lenguaje para soportar lambdas y aplicaciones como azúcar sintáctica, usando objetos.+- **Codificando funciones anónimas de primera clase con Objetos**: El objetivo de esta sección es extender el lenguaje para soportar funciones anónimas de primera clase (típicamente conocidas como “lambdas”) y aplicaciones como azúcar sintáctica, usando objetos.
  
 <note warning>  <note warning> 
Line 178: Line 178:
 **Intérprete** **Intérprete**
   * [0.3 pts] Extienda el tipo ''Val'' con un constructor llamado ''objV'' que permita almacenar la información necesaria para representar a un objeto como valor. **Hint**: Recuerde que uno de los objetivos de tener clases, es permitir que sus intancias puedan compartir métodos.   * [0.3 pts] Extienda el tipo ''Val'' con un constructor llamado ''objV'' que permita almacenar la información necesaria para representar a un objeto como valor. **Hint**: Recuerde que uno de los objetivos de tener clases, es permitir que sus intancias puedan compartir métodos.
-  * [0.4 pts] Defina la función ''invoke-method'' que permita buscar un método dentro de un objeto e invocarlo utilizando los argumentos entregados.+  * [0.4 pts] Defina la función ''invoke-method'' que permita buscar un método dentro de la clase un objeto e invocarlo utilizando los argumentos entregados.
   * [0.4 pts] Extienda el intérprete para permitir instanciar una clase utilizando la expresión ''new''.   * [0.4 pts] Extienda el intérprete para permitir instanciar una clase utilizando la expresión ''new''.
  
Line 282: Line 282:
 </code> </code>
  
-===== Codificando Lambdas (1 pto) ===== +===== Codificando funciones anónimas de primera clase con Objetos (1 pto) ===== 
-Ahora incorporaremos lambdas (funciones anónimas de primera clase) a nuestro lenguaje. A diferencia de lo visto durante el curso, en esta ocasión no daremos una interpretación directa de las funciones. Usted debe idear una manera de usar la implementación de clases y objetos hecha en la parte anterior para codificar las lambdas. Esto significa que **no puede modificar** el AST y el intérprete para soportar funciones y aplicaciones de funciones. Las modificaciones que debe hacer son en el **parser**. En otras palabras, las funciones y aplicaciones serán sólo azúcar sintáctica.+Ahora incorporaremos funciones anónimas de primera clase (típicamente conocidas como "lambdas") a nuestro lenguaje. A diferencia de lo visto durante el curso, en esta ocasión no daremos una interpretación directa de las funciones. Usted debe idear una manera de usar la implementación de clases y objetos hecha en la parte anterior para codificar las lambdas. Esto significa que **no puede modificar** el AST y el intérprete para soportar funciones y aplicaciones de funciones. Las modificaciones que debe hacer son en el **parser**. En otras palabras, las funciones y aplicaciones serán sólo azúcar sintáctica. 
 + 
 +Hint: Piense en lo que comúnmente hemos visto como sintaxis de "aplicación de función" como azúcar sintáctico para la invocación de un método en un objeto, este método puede contener el código de la "función" definida. ¿De qué clase sería ese objeto? ¿Cómo se podría llamar ese método? 
 <code scheme> <code scheme>
 <expr> ::= ... <expr> ::= ...