1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
\section{Functions}
\TODO{See the website for now}
\subsection{Function Definitions}
\subsection{Function Types}
\label{funtypes}
\subsection{Argument Passing Convention}
Pass by reference; creates a new reference to each argument
(i.e. shallow copy), unless marked \CD{var} in which case the
reference is passed directly, allowing the value to be modified.
\subsection{Type Inference}
\subsection{Type Constructors}
Type constructors (see section \ref{usertypes}) are effectively
functions which create an instance of the relevant type. They are
treated like an ordinary function in every way, except in that their
implementation is compiler generated.
\subsection{Shorthands}
Guarded definitions, type fun = rval.
|
