blob: 7992b54c672b9681c7346dbc5cdec285baf3c959 (
plain)
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
29
30
31
32
33
34
35
36
37
38
39
|
---
title: Lambda Functions
---
Lambda functions are values that correspond to a computation not yet performed.
These can take arguments. Defining a lambda function returns the value that
corresponds to the function itself, the `eval` computation must be used to
obtain the value that the function computes.
### DEFINITION
{{< fatecode >}}(lambda
(([T0 = TYPE] {S0 = String}) ... ([TN = TYPE] {SN = String}))
[COMPUTATION]
){{< /fatecode >}}
Returns a lambda function taking `S0` ... `SN` of types `T0` ... `TN` as
arguments and evaluating to `[COMPUTATION]`.
### EVALUATION
{{< fatecode >}}(eval [LAMBDA O (C0 ... CN)] [C0 = COMPUTATION] ... [CN = COMPUTATION]){{< /fatecode >}}
Returns the result of evaluating the lambda function at `[REFERENCE]` given the
parameters `C0` ... `CN`.
### PARTIAL EVALUATION
{{< fatecode >}}(partial [LAMBDA O (C0 ... CN)] [C0 = COMPUTATION] ... [CM = COMPUTATION]){{< /fatecode >}}
Returns a lambda function corresponding to the `[LAMBDA O (C0 ... CN)]` in which
the first M parameters have already been filled with `C0` ... `CM`.
## Examples
{{< fatecode >}}(lambda ( (int i) )
(+ (var i) 1)
)
{{< /fatecode >}}
{{< fatecode >}}(lambda ( (int i) )
(* (eval int_to_int (var i)) 2)
)
{{< /fatecode >}}
|
