Anonymous user
Metaprogramming: Difference between revisions
→{{header|Common Lisp}}: The math notation should show the quantifiers.
(→{{header|Common Lisp}}: Show identity comprehension too. Anyone care for state transformer?) |
(→{{header|Common Lisp}}: The math notation should show the quantifiers.) |
||
Line 75:
As you can see, the comprehension processes all combinations of X and Y from both sets, and collects the application of (CONS X Y) to these elements.
In other words {∀x∀y:(cons x y) | x ∈ { 1, 2 ,3 } ∧ y ∈ { A, B, C }}
Other monads are possible: idenitity, state transfomer, etc. Some of these are provided in the code below.
|