#Tag
Scheme Reports at Fifty: Where do we go from here? / Daphne Preston-Kendal
https://crumbles.blog/posts/2025-10-18-scheme-reports-at-fifty.html
Scheme Reports at Fifty: Where do we go from here? / Daphne Preston-Kendal
https://crumbles.blog/posts/2025-10-18-scheme-reports-at-fifty.html
I learned today that FORTRAN was not, in fact, the first high-level programming language. It was the second. It was just the first compiled high-level programming language.
The honor of being the first non-asm/machine code programming language goes to SpeedCode: https://en.wikipedia.org/wiki/Speedcoding
I learned today that FORTRAN was not, in fact, the first high-level programming language. It was the second. It was just the first compiled high-level programming language.
The honor of being the first non-asm/machine code programming language goes to SpeedCode: https://en.wikipedia.org/wiki/Speedcoding
The combinator pattern is extremely cool case study #5371:
Here's an entirely automatically generated railroad syntax diagram for the JSON parser example that comes with my parser combinator library Chumsky (https://github.com/zesterer/chumsky/).
This works for arbitrary parsers, with no additional work needed on the part of parser authors.
If you've written a parser with Chumsky, you'll be able to call just a single function to get a similar diagram for your grammar. #rustlang #plt #compilerdev
The combinator pattern is extremely cool case study #5371:
Here's an entirely automatically generated railroad syntax diagram for the JSON parser example that comes with my parser combinator library Chumsky (https://github.com/zesterer/chumsky/).
This works for arbitrary parsers, with no additional work needed on the part of parser authors.
If you've written a parser with Chumsky, you'll be able to call just a single function to get a similar diagram for your grammar. #rustlang #plt #compilerdev
💡Titania Programming Language
｢ Based on the Oberon-07 programming language designed by the late Niklaus Wirth.
This is designed to be a language to teach compiler development with ｣
A break from programming languages https://lobste.rs/s/loydfp #plt
https://lexi-lambda.github.io/blog/2025/05/29/a-break-from-programming-languages/
Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language
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: 🤯
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[...]."
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/
A space for Bonfire maintainers and contributors to communicate
