chap-2.3-forlan5.tex

\begin{list}{}
{\setlength{\leftmargin}{\leftmargini}
\setlength{\rightmargin}{0cm}
\setlength{\itemindent}{0cm}
\setlength{\listparindent}{0cm}
\setlength{\itemsep}{0cm}
\setlength{\parsep}{0cm}
\setlength{\labelsep}{0cm}
\setlength{\labelwidth}{0cm}
\catcode`\#=12
\catcode`\$=12
\catcode`\%=12
\catcode`\^=12
\catcode`\_=12
\catcode`\.=12
\catcode`\?=12
\catcode`\!=12
\catcode`\&=12
\ttfamily}
\small
\item[]\textsl{-\ }fun\ f\ n\ =\ n\ \symbol{'052}\ 2;
\item[]\textsl{val\ f\ =\ fn\ :\ int\ ->\ int}
\item[]\textsl{-\ }f\ 3;
\item[]\textsl{val\ it\ =\ 6\ :\ int}
\item[]\textsl{-\ }f(4\ +\ 5);
\item[]\textsl{val\ it\ =\ 18\ :\ int}
\item[]\textsl{-\ }f\ 4\ +\ 5;
\item[]\textsl{val\ it\ =\ 13\ :\ int}
\item[]\textsl{-\ }fun\ g(x,\ y)\ =\ (x\ ^\ y,\ y\ ^\ x);
\item[]\textsl{val\ g\ =\ fn\ :\ string\ \symbol{'052}\ string\ ->\ string\ \symbol{'052}\ string}
\item[]\textsl{-\ }val\ (u,\ v)\ =\ g("a",\ "b");
\item[]\textsl{val\ u\ =\ "ab"\ :\ string}
\item[]\textsl{val\ v\ =\ "ba"\ :\ string}
\end{list}