July 2020
Intermediate to advanced
360 pages
7h 8m
English

10.1Constraints
⊳Existence of an abstraction to which values can be converted.
⊳This abstraction provides operations to (1) wrap around values, so that they become the abstraction; (2) bind itself to functions, to establish sequences of functions; and (3) unwrap the value, to examine the final result.
⊳Larger problem is solved as a pipeline of functions bound together, with unwrapping happening at the end.
⊳Particularly for The One style, the bind operation simply calls the given function, giving it the value that it holds, and holds on to the returned value.
10.2A Program in This Style
Note: If not familiar ...
Read now
Unlock full access