Could someone explain the “Necessity and noema” section [1] or share a reference? Looked like it might be significant but I couldn’t make much sense of it
[1] https://vekatze.github.io/neut/terms.html#necessity-and-noem...
[1] https://vekatze.github.io/neut/terms.html#necessity-and-noem...
TL/DR: All functions are pass-by-value. To avoid complete tanking of performance, they have "noema" (same as a reference in other language), which contains pointer to "hyle" (reference target in other languages). Since the language is GC-free, the references cannot escape out of the block they are defined in.
The language authors really like inventing the new programming terms.