Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc4101:tareas:2015-2:tarea3 [2016/03/20 01:41] – [(0.5) Sistemas de Tipos Simple] fmossoteaching:cc4101:tareas:2015-2:tarea3 [2016/03/20 01:47] – fmosso
Line 135: Line 135:
 Aquí ocurre que por el tipo del argumento, reemplazar en esa expresión ''%%f%%'' por ''%%h%%'' también es válido pues si ''%%f%%'' puede ser aplicado a un ''%%Num%%'', con mayor razón una función que espera un tipo más general, en este caso ''%%Any%%''. Aquí ocurre que por el tipo del argumento, reemplazar en esa expresión ''%%f%%'' por ''%%h%%'' también es válido pues si ''%%f%%'' puede ser aplicado a un ''%%Num%%'', con mayor razón una función que espera un tipo más general, en este caso ''%%Any%%''.
 Entienda la función ''%%typeof-with-sub%%'' para que incluya esta relación de subtipos de funciones Entienda la función ''%%typeof-with-sub%%'' para que incluya esta relación de subtipos de funciones
 +
 +===== (1.0)Funciones con n-argumentos =====
 +
 +Actualmente su lenguaje soporta únicamente funciones con un único argumento. Extienda su lenguaje para que soporte funciones con n-argumentos.