Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language
alcinnz
boosted
Variadic Generics ideas that won't work for #Rust - by Olivier Faure (aka poignardazur)
https://poignardazur.github.io//2025/07/09/variadic-generics-dead-ends/
"After years of design discussion, we’re finally at a stage where variadic generics are reaching the top of the triage pile. Serious discussion and initial work is, hopefully, about to start. I’m hoping this article helps us not get dragged down in litigating the same alternatives over and over again."
Me, when I see variadic generics: 🤯
alcinnz
boosted
List of #Supercompilation Resources and Papers:
https://github.com/etiams/supercompilation-resources
"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."
alcinnz
boosted
In which I have Opinions about parsing and grammars - by Simon Tatham
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/parsing/
Variadic Generics ideas that won't work for #Rust - by Olivier Faure (aka poignardazur)
https://poignardazur.github.io//2025/07/09/variadic-generics-dead-ends/
"After years of design discussion, we’re finally at a stage where variadic generics are reaching the top of the triage pile. Serious discussion and initial work is, hopefully, about to start. I’m hoping this article helps us not get dragged down in litigating the same alternatives over and over again."
Me, when I see variadic generics: 🤯
｢ Go is the most hated programming language. Compared to other languages, it provides 80% of utility with 20% of complexity. The hate comes from people who want 81% of utility, or 85% or 97% ｣
https://blog.kowalczyk.info/article/d-2025-06-26/go-is-8020-language.html
List of #Supercompilation Resources and Papers:
https://github.com/etiams/supercompilation-resources
"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."
For my next #compiler project, I want to write the optimization passes myself, but I don't want to deal with generating machine code for multiple platforms. So tell me #programminglanguages #plt #pldev #compilers fedi, what is an IR that I can target that has a non-optimizing compiler to machine code and supports multiple platforms? This rules out most popular IR like LLVM, C, QBE, Cranelift etc.
In short, I want something that does only instruction selection, register allocation and codegen for multiple platforms. I don't need optimization, so I expect this thing to be really small and lightweight, unlike LLVM, GCC etc.
In which I have Opinions about parsing and grammars - by Simon Tatham
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/parsing/