Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| teaching:cc4101:tareas:2022-1:tarea1 [2022/04/06 22:39] – [Parte 3. Contratos en funciones de primer orden (1.5 ptos.)] tdiaz | teaching:cc4101:tareas:2022-1:tarea1 [2022/04/19 18:54] (current) – etanter |
|---|
| </code> | </code> |
| |
| En el BNF utilizamos ''[ ]'' para denotar que algo es opcional. Note que ''%%with%%'' no incluye anotación del tipo del cuerpo y que los tipos de los identificadores son opcionales. Igualmente, el tipo de retorno de una función es opcional, pero el de cada argumento **sí** es necesario. | En el BNF utilizamos ''[ ]'' para denotar que algo es opcional. Note que ''%%with%%'' no incluye anotación del tipo del cuerpo y que los tipos de los identificadores son opcionales. Igualmente, el tipo de retorno de una función es opcional, pero el de cada argumento **sí** es necesario. Para funciones recursivas, pueden asumir que el tipo de retorno tiene que ser especificado. |
| |
| Los programas siguientes están bien tipados: | Los programas siguientes están bien tipados: |
