Questions tagged [defer]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
2answers
119 views

Making an expression to Iceberg-like object?

Can we construct a function Iceberg, which maps a given expression X to Iceberg[X] satisfying 1. and 2. and 3. ? 1. From Iceberg[X], it is not possible to inspect/extract a part of X with usual ...