A type-lifting function places a raw value into a context or container so later operations can preserve that context. For a container type C, the constructor is commonly named C.of or C.unit. section 5.1
A lifted container typically provides:
- A constructor such as Array.of or C.of that brings a value into the container. section 5.1
- A map method that transforms the contained data while retaining the container structure. section 5.1
- An implementation-specific extraction operation, such as Array#pop. section 5.1
Lifting a string into an array
Array.of('aabbcc').map(unique).map(join).map(toUpper).pop() produces 'ABC'. The array supplies the context, map sequences transformations, and pop extracts the result. section 5.1
Array.of('aabbcc')
.map(unique)
.map(join)
.map(toUpper)
.pop(); // 'ABC'
Inspect the compact Array.of example showing construction, chained mapping, and extraction. section 5.1
