[first_amendment]

Erlang occupies a similar space compared to Haskell, in terms if it being a functional language with M:N green threads.

It is possible, there are many stack swapping libraries in C that don't use garbage collection/excessive heap allocations as proof (e.g. libpth). The RFC is trying to figure that out with rust, but their approach currently requires manually annotating functions with "async," creating an incompatible calling convention with existing Rust code.

[didibus]

I see, you want a functional language with first class concurrency, which also values high single thread performance and low memory footprint?

I don't know of many, I'm thinking Julia JoCaml or Red maybe a little.

but their approach currently requires manually annotating functions with "async," creating an incompatible calling convention with existing Rust code.

Can this be avoided? How else?