3 ms·

Discussion on r/ProgrammingLanguages: https://www.reddit.com/r/ProgrammingLanguages/comments/gfgn0r/research_programming_language_with_compiletime/ https://www.

Discussion on r/ProgrammingLanguages: https://www.reddit.com/r/ProgrammingLanguages/comments/gfgn0r/research_programming_language_with_compiletime/ https://www.reddit.com/r/ProgrammingLanguages/comments/gfgn0... Discussion on r/rust: https://www.reddit.com/r/rust/comments/gfgt1b/rustlike_language_with_static_memory_management/ https://www.reddit.com/r/rust/comments/gfgt1b/rustlike_langu... I look at this and I think it's a innovative and promising idea - the freedom of a garbage collected language, but with the tracing done as a type-aware static analysis, and the cleanup code inserted at compile-time!

pjmlp 6y ago
It is not the only one https://www.csail.mit.edu/event/safe-parallel-programming-parasail-ada-202x-openmp-and-rust https://www.csail.mit.edu/event/safe-parallel-programming-pa... https://chapel-lang.org/docs/master/builtins/OwnedObject.html https://chapel-lang.org/docs/master/builtins/OwnedObject.htm... And a couple more with affine types, or algebraic effects. Yes, this might be the future, but we are still far from the overall convenience of GC for common programming scenarios. If anything one was to thank the Rust community for pushing more people to look into this area, regardless of its outcome in the language market.