On: Ante: A low-level functional language

[skavi]

In the case of map operations, Ante is using Rust style iterators over collections. In Rust, iterators are just as fast as loops.

The author said somewhere else in the thread they want to switch to generators implemented with effects eventually.

[deltaonefour → skavi]

This makes sense. So basically if you style your programming such that a list is never materialized you can achieve zero allocation based programming.

However for things like "sorting" this can never fully be achieved. You cannot sort a generator. Every iterator counterpart needs a list counterpart or there will be literally certain computations that are impossible.