3 ms·
Why not focus on features that would unlock better integration of actual mainstream languages - Java, C#, Python etc.? Let functional programmers discuss monoi
by 202206241203 4y ago
Why not focus on features that would unlock better integration of actual mainstream languages - Java, C#, Python etc.?
Let functional programmers discuss monoids on their endofunctor forums or something.
- yuri91 4y agoActually even C++ can benefit from this. In LLVM C++ coroutines compile down to functions with the "musttail" attribute, that right now is not possible to express in Wasm [1]. It is also useful to efficiently implement stuff like interpreters, where you use it as a way to jump to the code of the next instruction directly (Wasm has only structured control flow, but you can see a tail call as a sort of jump/goto instruction) [1]: https://discourse.llvm.org/t/supporting-coroutines-without-tail-calls/63249 https://discourse.llvm.org/t/supporting-coroutines-without-t...
- azakai 4y agoIt isn't one or the other. Work on Wasm GC is ongoing and separate from this.
- Jtsummers 4y agoRecursion has been a part of programming and programming languages for a very long time, and not just the functional ones. See ALGOL for recursion from very early on.