blob: 35485a36b11c39e8c5813395b521e334f1888f3f (
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
|
---
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 [REFERENCE] [C0 = COMPUTATION] ... [CN = COMPUTATION]){{< /fatecode >}}
Returns the result of evaluating the lambda function at `[REFERENCE]` given the
parameters `C0` ... `CN`.
## Examples
{{< fatecode >}}(lambda ( (int i) )
(+ (var i) 1)
)
{{< /fatecode >}}
{{< fatecode >}}(lambda ( (int i) )
(* (eval int_to_int (var i)) 2)
)
{{< /fatecode >}}
|
