Differences

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

--- teaching:cc4101:tareas:2016-1:tarea2 [2016/11/13 01:09] – [Tarea 2] fmosso
+++ teaching:cc4101:tareas:2016-1:tarea2 [2016/11/13 01:11] (current) – old revision restored (2016/06/01 13:54) fmosso
@@ Line 5: / Line 5: @@
 En esta tarea se le provee el lenguaje MiniScheme+, que corresponde a un intérprete extendido con estructuras de primera clase y pattern matching((MiniScheme+ usa un ambiente mutable que permite definir funciones recursivas con ''%%define%%''.)). Además, MiniScheme+ incorpora el uso de primitivas((Para entender el concepto de funciones primitivas, vea http://pleiad.cl/teaching/primitivas.)). A continuación se presenta un breve tour de las características de MiniScheme+:
   -// Funciones de primera clase con argumentos múltiples//: las funciones y las expresiones ''%%with%%'' pueden tener 0 o más argumentos, por ejemplo: <code scheme>
-> (run '(+ 1 ((fun ([x : Num] [y : Num]) (+ x y)) 1 2)))
+> (run '{{fun {x y z} {+ x y z}} 1 2 3})
+> (run '{with {{x 1} {y 2} {z 3}} {+ x y z}})
+
+> (run '{with {} {{fun {} 42}}})
 </code>
-  - //Definiciones usando ''%%local%%'' y ''%%define%%''//: la expresión ''%%local%%'' permite realizar definiciones de identificadores usando ''%%define%%''. Por ejemplo: <code scheme>
+  - //Definiciones usando ''%%local%%'', ''%%define%%'' y ''%%datatype%%''//: la expresión ''%%local%%'' permite realizar definiciones de identificadores y de estructuras de datos, usando ''%%define%%'' y ''%%datatype%%'' respectivamente. Por ejemplo: <code scheme>
-> (run '(local ((define x 10)
+> (run '{local {{define x 1}
-                    (define y x))
+                {define y 2}}
-              (+ x y)))
+           {+ x y}})
+> (run '{local {{datatype Nat
+                  {Zero}
+                  {Succ n}}}
+          {Nat? {Zero}}})
+#t
+> (run '{local {{datatype Nat
+                  {Zero}
+                  {Succ n}}
+                {define pred {fun {n}
+                               {match n
+                                 {case {Zero} => {Zero}}
+                                 {case {Succ m} => m}}}}}
+          {pred {Succ {Succ {Zero}}}}})
+{Succ {Zero}}
 </code>
 Observe que ''%%define%%'' y ''%%datatype%%'' sólo pueden usarse en la zona de declaraciones de una expresión ''local''. Al declarar una estructura, la implementación extiende el ambiente usado en el cuerpo de ''local'' con las funciones constructoras de cada variante; y con predicados para determinar si un valor corresponde a la estructura (en general, y para cada variante). Para más detalles, consulte la implementación y tests provistos.