February 2024 monthly "What are you working on?" thread
How much progress have you made since last time? What new ideas have you stumbled upon, what old ideas have you abandoned? What new projects have you started? What are you working on?...
Solving SAT via Positive Supercompilation (hirrolot.github.io)
A supercompiler is a program transformer of a certain type. The usual way of thinking about program transformation is in terms of some set of rules which preserve the functional meaning of the program, and a step-by-step application of these rules to the initial program. … The concept of a supercompiler is a product of...
Compiling a Lisp: Overture (2020) (bernsteinbear.com)
Critique my idea for a language
I’ve never felt the urge to make a PL until recently. I’ve been quite happy with a combination of Rust and Julia for most things, but after learning more about BEAM languages, LEAN4, Zig’s comptime, and some newer languages implementing algebraic effects, I think I at least have a compelling set of features I would like to...
Achieving Safe, Aliasable Mutability with Unboxed Types (antelang.org)
Ante is a very interesting language. It has been in development for a long time with many revisions and has some promising features....
Question: Any Serialization Lang for Pure Functions
JSON and YAML work great for passing data between languages....
What I Talk About When I Talk About Query Optimizer (SQL & IR, Part 1) (xuanwo.io)
A Beginner's Guide to Programming Language Academia (blog) (ryanbrewer.dev)
The Ur Programming Language Family (impredicative.com)
A functional, type-heavy language....
Safe Manual Memory Management with Coeffects (blog) (ryanbrewer.dev)
Also see the SaberVM announcement.
How bad is LLVM really? (c3.handmade.network)
My personal experience agrees with the article: it’s pretty bad, but it works and there aren’t really better alternatives....
A universal lowering strategy for control effects in Rust (www.abubalay.com)
It’s about Rust, but includes a description of effects and much of the lowering could be applied to other languages.
Simplicity and consistency of Smalltalk compared with other languages - Hernán Wilkinson (video, 2022) (www.youtube.com)
The Design Principles of the Elixir Type System (paper) (programming-journal.org)
Automatic Syntax Error Recovery (blog, 2020) (tratt.net)
Interpreters Blog Series (www.sourceprobe.com)
Part 1: Language & Runtime comparison...
January 2024 monthly "What are you working on?" thread
How much progress have you made since last time? What new ideas have you stumbled upon, what old ideas have you abandoned? What new projects have you started? What are you working on?...
Polyglot Language Understanding (wiki page) (github.com)
This is a survey of projects/research that try to understand multiple programming languages in a “unified” way....
Early Standardization of Common Lisp (fosstodon.org)
cross-posted from: programming.dev/post/8024192...
50 reasons why you might still consider PHP for building your websites (chat-to.dev)
these are the conclusions I’ve reached. if you have anything against please leave it in the comments
The Heart of a Language Server (blog post) (rust-analyzer.github.io)
A Core Calculus for Documents (short post + paper) (blog.brownplt.org)
Paper (in POPL 2024)
Accepted Papers - CGO (Code Generation and Optimization) 2024 (conf.researchr.org)
perses: syntax-directed, language-agnostic program reducer (GitHub) (github.com)
Paper...
MIR Project (GitHub, lightweight JIT compiler and IR) (github.com)
Motivations...
