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[...]."

#Compiler#PLT#FunctionalProgramming#Performance

In which I have Opinions about parsing and grammars - by Simon Tatham

https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/parsing/

#ProgrammingLanguage#PLT#Parser#Parsing#Grammar

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: 🤯

#plt #RustLang

｢ 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

#go #golang #plt

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.