diff options
Diffstat (limited to 'pia')
| -rw-r--r-- | pia/n6.lyx | 29 |
1 files changed, 25 insertions, 4 deletions
@@ -83,18 +83,23 @@ \begin_layout Section Operaciones sobre listas en \family typewriter +\lang english Prelude \end_layout \begin_layout Standard \family typewriter +\lang english map \family default +\lang spanish aplica una función a todos los elementos de una lista y \family typewriter +\lang english filter \family default +\lang spanish selecciona los que cumplen una condición. \end_layout @@ -183,8 +188,10 @@ status open \begin_layout Standard \family typewriter +\lang english length \family default +\lang spanish devuelve la longitud de una lista. \end_layout @@ -301,14 +308,20 @@ null (_:_) = False \begin_layout Standard \family typewriter -take +\lang english +take +\lang spanish + \emph on n xs \family default \emph default y \family typewriter -drop +\lang english +drop +\lang spanish + \emph on n xs \family default @@ -432,7 +445,11 @@ n xs devuelve el \family typewriter \emph on -n + +\begin_inset Formula $\text{\emph{\texttt{n}}}$ +\end_inset + + \family default \emph default -ésimo elemento de @@ -476,15 +493,19 @@ status open \begin_layout Standard \family typewriter +\lang english zip \family default +\lang spanish junta dos listas en una cuya longitud es la mínima de la de las dos listas y cuyos elementos son las tuplas de elementos correspondientes de ambas listas. \family typewriter +\lang english unzip \family default +\lang spanish hace lo contrario. \end_layout @@ -553,7 +574,7 @@ z xs \family default \emph default -, luego al resultado y al segnudo elemento de +, luego al resultado y al segundo elemento de \family typewriter \emph on xs |