This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.
--
Making OCaml Safe for Performance Engineering | Lobsters
https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance
Celebrating the 30th Anniversary of Delphi version 1.0’s Launch
｢ Today we celebrate the 30th anniversary of the launch of Delphi version 1.0 on Valentine’s Day, February 14, 1995, at the Software Development West Conference in San Francisco California. More that 12 years of continuous IDE, language, tools and library development led up to the launch of Delphi version 1.0 ｣
https://blog.davidi.com/2025/02/14/celebrating-the-30th-anniversary-of-delphi-version-1-0s-launch/
Writing an #interpreter for #Brainfuck is almost a rite of passage for any programming language implementer, and it’s my turn now. In this post, I write not one but four Brainfuck #interpreters in #Haskell: https://abhinavsarkar.net/posts/brainfuck-interpreter/
Please boost for reach. If you have any questions or comments, please reply to this post.
The Most Elegant Configuration Language
https://chshersh.com/blog/2025-01-06-the-most-elegant-configuration-language.html
Discussions: https://discu.eu/q/https://chshersh.com/blog/2025-01-06-the-most-elegant-configuration-language.html
Lua is so underrated
"Lua doesn’t have the same level of marketing and hype as some other languages. This lack of promotion means that fewer developers are aware of Lua’s capabilities and benefits. It is often perceived as a niche language, primarily used in gaming and embedded systems."
The jank programming language
https://compiler-research.org/blogs/jank_intro/
Discussions: https://discu.eu/q/https://compiler-research.org/blogs/jank_intro/
｢ What is the Rosie project?
In brief: RPL is an alternative to regex, providing a better syntax, unit tests, and packages of patterns, among other benefits ｣
Approximating sum types in Python with Pydantic
https://blog.yossarian.net/2024/08/12/Approximating-sum-types-in-Python-with-Pydantic
Discussions: https://discu.eu/q/https://blog.yossarian.net/2024/08/12/Approximating-sum-types-in-Python-with-Pydantic
Abstract interpretation in the Toy Optimizer
https://bernsteinbear.com/blog/toy-abstract-interpretation/
Discussions: https://discu.eu/q/https://bernsteinbear.com/blog/toy-abstract-interpretation/
Moving Beyond Type Systems - Exploring effect systems
https://vhyrro.github.io/posts/effect-systems/
Discussions: https://discu.eu/q/https://vhyrro.github.io/posts/effect-systems/
Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner)
Discussions: https://discu.eu/q/https://youtu.be/JRcXUuQYR90
A few questions that have been nagging me:
- Is Scala’s theory of dependent objects a generalization of system f sub omega?
- If so, is Scala the only mainstream language that implements f sub omega?
- Why does f sub omega seem to be so rare in mainstream languages, when in the abstract it sounds like it would be the most powerful?
Finally getting around to my new year’s resolution… I’m looking for PhD opportunities! I’m enjoying myself doing professional software dev right now, but I promised myself after my master’s that I’d try going back to academia eventually; this is the year I want to set that up. So I’m wondering if anyone on here knows of anything that's available. :>
Generally I’d love to do work involving programming languages in the broadest sense of the word, but also involving something that's not traditionally PL theory. For example:
- Human factors in PL design: learnability, cognitive processing, etc.
- Going beyond plain text for programming: graphical languages, alternative ways of storing & editing code (e.g. Unison), etc.
- Applying proof assistants / type theories outside of pure mathematics: natural language semantics, experiment design, etc.
- FP software architecture, empirical software engineering.
Boosting and sharing much appreciated! 
Hot take (approaching shitpost territory):
Copy (assignment) semantics and/or requiring captured variables be constant/unchanged for function closures will cover 90% of use cases and make call stack management a brazilian times simpler for the compiler/runtime.
language design of Starlark (compared to Python)
https://github.com/bazelbuild/starlark/blob/master/design.md
Discussions: https://discu.eu/q/https://github.com/bazelbuild/starlark/blob/master/design.md
