Differences

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

--- teaching:cc4101:tareas:2025-1:tarea3 [2025/06/19 19:46] – [Objetos (1.5 pts)] dibanez
+++ teaching:cc4101:tareas:2025-1:tarea3 [2025/06/19 21:09] (current) – [Tarea 3 (Entrega: TBD)] dibanez
@@ Line 1: / Line 1: @@
-====== Tarea 3 (Entrega: TBD) ======
+====== Tarea 3 (Entrega: 6 de Julio de 2025) ======
-Esta tarea se distribuye con un archivo zip (<<PLACEHOLDER>>) que contiene 3 archivos: main.rkt, tests.rkt y env.rkt. Los archivos están incompletos, y en ellos tiene que implementar lo que se solicita en las preguntas siguientes.
+Esta tarea se distribuye con un archivo zip ({{ :teaching:cc4101:tareas:2025-1:t3-init.zip |}}) que contiene 3 archivos: main.rkt, tests.rkt y env.rkt. Los archivos están incompletos, y en ellos tiene que implementar lo que se solicita en las preguntas siguientes.
 Debe entregar via U-cursos **un archivo .zip** que contenga los archivos main.rkt y tests.rkt.
@@ Line 7: / Line 7: @@
 <note important>Consulte las normas de entrega de tareas en http://pleiad.cl/teaching/cc4101</note>
-**Recuerde que el testing y calidad de código se evalúan de acuerdo a [[https://docs.google.com/document/d/1Ahtk97_teZwtpFnJ-H--rLndeiFuyeDHpoGWpC8wL5I/edit?usp=sharing|la rúbrica]].**
+**Recuerde que el testing y calidad de código se evalúan de acuerdo a [[https://docs.google.com/document/d/1Ahtk97_teZwtpFnJ-H--rLndeiFuyeDHpoGWpC8wL5I/edit?usp=sharing|esta rúbrica]].**
 ====== Resumen ======
@@ Line 208: / Line 208: @@
 </code>
 ==== Llamados a Métodos (0.8 pto) ====
-**Extensiones del AST y Parser**
-  * [0.2 pts] Extienda el tipo de datos ''Expr'' y la función ''parse'' para soportar la expresión ''->'' del lenguaje.
 **Extensiones de ''well-formed''**
-  * [0.2 pts] Extienda ''well-formed'' para verificar el nodo ''->''. En este caso, solo es necesario llamar ''well-formed'' para cada subnodo del nodo ''new''.
+  * [0.3 pts] Extienda ''well-formed'' para verificar el nodo ''->''. En este caso, solo es necesario llamar ''well-formed'' para cada subnodo del nodo ''new''.
 **Intérprete**
-  * [0.4 pts] Extienda el intérprete para permitir evaluar la invocación de métodos de un objeto.
+  * [0.5 pts] Extienda el intérprete para permitir evaluar la invocación de métodos de un objeto.
 **Observaciones**:
   * Recuerde en en la sección anterior (Objetos) implementó la función ''invoke-method''.
-  * La invocación de un método inexistente o cuya aridad no coincide con el número de argumentos entregados debe lanzar el error ''"method <id> not found"''.
+  * La invocación de un método inexistente debe lanzar el error ''"method <id> not found"''.
+  * Invocar un método con la cantidad equivocada de argumentos debe lanzar el error ''no overload of <num> arguments was found for method <id>''.
 A continuación se muestran programas en los que se intenta invocar un método inexistente o donde no se encuentra una sobrecarga con la aridad correcta:
@@ Line 238: / Line 236: @@
                    {o {new A}}}
               {-> o set-x 10 20}})
-"error: method set-x not found"
+"error: no overload of 2 arguments was found for method set-x"
 </code>
 ==== Acceso y Modificación a Campos (1.2 pts) ====
-**Extensiones del AST y Parser**
-  * [0.2 pts] Extienda el tipo de datos ''Expr'' y la función ''parse'' para soportar la expresión ''get'' del lenguaje.
-  * [0.2 pts] Extienda el tipo de datos ''Expr'' y la función ''parse'' para soportar la expresión ''set'' del lenguaje.
 **Extensiones de ''well-formed''**
@@ Line 263: / Line 257: @@
 **Intérprete**
-  * [0.3 pts] Extienda el intérprete para permitir obtener el valor de un campo en una clase.
+  * [0.5 pts] Extienda el intérprete para permitir obtener el valor del campo de un objeto.
-  * [0.2 pts] Extienda el intérprete para permitir modificar el valor de un campo en una clase.
+  * [0.4 pts] Extienda el intérprete para permitir modificar el valor del campo de un objeto.
 Los errores dentro de ''interp'' para objetos deben manejarse de la siguiente forma:
@@ Line 286: / Line 280: @@
 </code>
-===== Parte 2: Codificando funciones anónimas de primera clase con Objetos (_ pts) =====
+===== Parte 2: Codificando funciones anónimas de primera clase con Objetos (1 pt) =====
 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.
@@ Line 307: / Line 301: @@
 </code>
+===== Parte 3 (extra): Campos de Clase (1 pt de Bonus) =====
+En la parte 1 implementamos clases con campos y métodos de instancia, además de estos la mayoría de lenguajes que permiten POO soportan campos y métodos de clase, como también campos y métodos estáticos.
+En esta parte extenderemos el lenguaje con campos de clase, para ello modificaremos la sintáxis de esta forma:
+<code scheme>
+<expr> ::= ... (expresiones del lenguaje base) ...
+        | {class {<field>*} <method>*}
+<field> ::= <sym>
+          | {cls <sym> <expr>?}
+</code>
+El ''?'' indica que un campo de clase puede o no incluir una expresión. Esta expresión es usada como valor inicial para el campo de clase.
+Tenga en consideración:
+  * Un campo de clase solo puede ser modificado por objetos de esa clase.
+  * Un campo de clase puede ser leído usando ''get'' directamente sobre el valor de la clase, o desde cualquiera de sus instancias.
+  * No pueden haber campos de clase o instancia con el mismo nombre. Esto debe comprobarse de forma estática. En caso de encontrarse, debe lanzar el error "duplicate fields"
+  * Si un campo de clase no incluye un valor inicial, entonces se encuentra no inicializado. Intentar acceder a un campo de clase no inicializado debe lanzar el error "class field <id> not initialized".
+Programas de ejemplo:
+<code scheme>
+> (run-val '{with {{A {class {x {cls y 0}}
+                             {def init {x}
+                               {begin {set x x}
+                                      {set y {+ 1 {get self y}}}}}}}
+                   {o1 {init A 5}}
+                   {o2 {init A 10}}
+                   {o3 {init A 0}}}
+                  {get A y}})
+</code>
+<code scheme>
+; Programa con un mismo nombre como campo de clase e instancia.
+> (run-val '{with {{Foo {class {x {cls x}}}}}
+})
+"error: duplicate fields"
+</code>
+<code scheme>
+; Programa que intenta leer un campo de clase no inicializado
+> (run-val '{with {{Bar {class {cls a} {def get-a {} {get self a}}}}
+                   {o {init Bar}}}
+                  {-> o get-a}})
+"error: class field a not initialized"
+</code>
+<code scheme>
+> (run-val '{with {{Test {class {cls b} {def set-b {new-b} {set b new-b}}}}
+                   {o1 {init Test}}
+                   {o2 {init Test}}
+                  {begin {-> o1 set-b #t}
+                         {get o2 b}}})
+#t
+</code>
+  * Realize las modificaciones necesarias para extender el lenguaje con campos de clase.