Page 204 of 800
| Page 204 of 800 | Search internet |
The most important operations on maps are:
(x mapp)
is true and 
is false.
(x catching maptag)
but also normalizes x before putting a tag on it.
(x maptag) but if x turns out to be an exception then returns the exception as it is.
(x untag) removes the tag and normalizes the result.
(x apply y) removes the tag from both of them, applies the former to the latter, and puts a MapTag on the result. In other words, performs the 
operation 'under the MapTag'. Note that in itself does very little work since it applies x to y in a lazy way. The actual work connected with applying x to y is done when forced.
(x root) removes the MapTag and reduces the raw map to root normal form. If this results in a true normal form then returns 
. If reduction results in a function normal form then returns 
.
| Page 204 of 800 | Search logiweb.eu |