#programminglanguages — Public Fediverse posts

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​:Blobhaj_Read_Octopus:​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory

Meet #Cangjie (CJ) - a new application development language.

Positioned as a counterpart to Java, Kotlin, and Swift, CJ isn't just about safety & speed. It features:
🔹 Algebraic Data Types (ADTs)
🔹 Effect Handlers

CJ is designed for high-performance, general-purpose apps.

Get the deep dive on #InfoQ: https://bit.ly/4nsiJUg

#ProgrammingLanguages #SoftwareDevelopment #OpenSource

Boriel BASIC

https://zxbasic.readthedocs.io/en/docs/

#HackerNews #BorielBASIC #BASIC #Programming #RetroComputing #OpenSource #ProgrammingLanguages

Syntax matters more than emotionally:
Syntax affects how expressive a language is.
Syntax affects editing and navigation capabilities (to illustrate, consider Emacs commands like `forward-list', `forward-sexp', `kill-backward-up-list', and then compare their usefulness between Lisp and Python).
Syntax affects cultural compatibility, the significance of which is much more than emotional.
Etc.

#ComputerProgramming
#ProgrammingLanguages

@AmenZwa @synlogic4242

Barbara Liskov Turing Award lecture, 2008

#programminglanguages #biography #computerscience #history

https://youtube.com/watch?v=qAKrMdUycb8&si=8mSlD-vHgPZ77QO0

Just Fucking Use Go

https://blainsmith.com/articles/just-fucking-use-go/

#HackerNews #GoProgramming #SoftwareDevelopment #TechTalks #ProgrammingLanguages

It is not for nothing that mathematics (usually) draws a distinction between operations and relations.

Some computer programming languages, not so much.
Here is one thing that can happen, using Python just as a handy example:

>>> 2 == 1 == 0
False
>>> (2 == 1) == 0
True

So, not left-associative.

>>> 0 == 1 == 2
False
>>> 0 == (1 == 2)
True

And not right-associative, either...

What do we call it?
Perhaps "quasi-associative" might fit the bill?
In any case, "anti-associative", "counter-associative", "dissociative", "non-associative", and "pseudo-associative" don't.

Note: the above doesn't happen with irritating silly parentheses ⌫⌫⌫ Lisp's prefix notation.

#CaveatProgrammator
#ComputerProgramming
#ProgrammingLanguages

I think this is pretty neat, and a bit different than most c-style language implementations: any number of initial arguments can be factored out of a group of functions:

https://mocompute.codeberg.page/item/2026/2026-05-08-tess-receiver-blocks.html

#c #programming #programminglanguages #cprogramming #compiler

MMTk porting guide is the prime example of:

How to draw an owl:

- Draw a circle
- Draw the rest of the owl

So, how to port to MMTk?

- Port to NoGC (ensure runtime compiler doesn't shit itself while linking with rust)
- Complete the rest of the port

#mmtk #gc #rust #programminglanguages

MMTk porting guide is the prime example of:

How to draw an owl:

- Draw a circle
- Draw the rest of the owl

So, how to port to MMTk?

- Port to NoGC (ensure runtime compiler doesn't shit itself while linking with rust)
- Complete the rest of the port

#mmtk #gc #rust #programminglanguages

From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.

https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/

#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming

From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.

https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/

#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming

Finally finished a post with some initial motivations and reflections about a programming language project I've been working on for nearly the past year: https://mocompute.codeberg.page/item/2026/2026-04-26-practical-additions-to-c.html #c #programming #programminglanguages #cprogramming #compiler

Can anyone recommend computer science papers about embedding an interpreter in a program written in a compiled language, like Emacs, web browsers, and the many things that embed Lua (Redis, Neovim, game engines, etc.)? Something like John Ousterhout’s 1998 paper on scripting languages as glue, but turned inside out, with the system programming language on the outside and the scripting language on the inside? I’m especially interested in thoughts about when it makes sense to do this and what characteristics the embedded language and its environment should have.

@lindsey
@dabeaz
@koronkebitch
@ricci

#CompSci #ProgrammingLanguages

Despite how much I dislike Microsoft and how business and finance is among my least preferred subjects, I have to admit my experience #learning #AL hasn't been half as bad as I would have imagined.

There's something about how the workflow is built on traversing and moving across tables that feels very different from other #ProgrammingLanguages I've dabbed at.

Kind of makes me wonder what other niche languages exist and what their usecases could be

https://winbuzzer.com/2026/05/01/zig-llm-contribution-ban-bun-4x-speedup-downstream-xcxwbn/

Zig Reinforces LLM Contribution Ban As Anthropic-Owned Bun Forks 4x Gain

#AI #Zig #Anthropic #Javascript #AICoding #OpenSource #GenAI #CodeGeneration #ProgrammingLanguages #SoftwareDevelopment #DeveloperTools #CodingTools #Developers #Coding

🚀📚 Oh, look! Yet another language! Functional programmers, put down your #Haskell bibles and embrace Zig! 😂 Because clearly, what we needed was more *comptime* in our lives. 🙄✨
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html #functionalprogramming #Zig #comptime #programminglanguages #techhumor #HackerNews #ngated

Anyone that loves solving problems using graph theory? I am working on a domain specific programming language that works within a graph/network and would love some feedback from diverse fields.

#graphtheory #graphThinking #networkanalysis #programming #programminglanguages

Where is programming headed?

This article explores how concepts from functional programming have spread into “mainstream” languages and how increasing abstraction can reshape the way programmers work.

Read here: https://lpi.org/ibe0

#functionalprogramming #programminglanguages #python #java #rust #softwaredevelopment #futureofprogramming #programming

[Disclaimer: This post includes an image created using AI.]

Currently on a side quest to dig deeper into error handling in parsers. Any parser whose diagnostic messages impress you especially (and why)?

#CS #compsci #ProgrammingLanguages #ProgLang #programming

Currently on a side quest to dig deeper into error handling in parsers. Any parser whose diagnostic messages impress you especially (and why)?

#CS #compsci #ProgrammingLanguages #ProgLang #programming

Currently on a side quest to dig deeper into error handling in parsers. Any parser whose diagnostic messages impress you especially (and why)?

#CS #compsci #ProgrammingLanguages #ProgLang #programming

Currently on a side quest to dig deeper into error handling in parsers. Any parser whose diagnostic messages impress you especially (and why)?

#CS #compsci #ProgrammingLanguages #ProgLang #programming

Currently on a side quest to dig deeper into error handling in parsers. Any parser whose diagnostic messages impress you especially (and why)?

#CS #compsci #ProgrammingLanguages #ProgLang #programming

🎩✨ Ah, the #utopia where borrow-checking without type-checking is feasible! A dreamland where dynamic typing is sold as a feature and "useful error messages" are apparently the new nirvana. 🚀😏 Let's marvel at this miraculous toy language that's less expressive than #Rust but more expressive than, well, absolutely nothing.
https://www.scattered-thoughts.net/writing/borrow-checking-without-type-checking/ #dynamictyping #errorhandling #programminglanguages #HackerNews #ngated

From 11:00 to 12:00 on Thursday, April 30, the PLUSLE reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi.

https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variable-binding/

#PLUSLE #syntax #programmingLanguages #categoryTheory #lambdaCalculus

From 11:00 to 12:00 on Thursday, April 30, the PLUSLE reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi.

https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variable-binding/

#PLUSLE #syntax #programmingLanguages #categoryTheory #lambdaCalculus

Oh, the timeless quest for the Holy Grail of programming languages 🏆. But wait! Turns out, all roads lead to the same excruciatingly mundane loops and arrays! 🤯 Who knew that the real secret was just... starting? 😂
https://madhadron.com/programming/seven_ur_languages.html #programminglanguages #HolyGrail #codinghumor #technews #softwaredevelopment #HackerNews #ngated

Question for #PL folks:

Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.

Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.

#CS #compsci #ProgrammingLanguages #ProgLang

Question for #PL folks:

Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.

Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.

#CS #compsci #ProgrammingLanguages #ProgLang

Question for #PL folks:

Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.

Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.

#CS #compsci #ProgrammingLanguages #ProgLang

Question for #PL folks:

Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.

Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.

#CS #compsci #ProgrammingLanguages #ProgLang

Question for #PL folks:

Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.

Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.

#CS #compsci #ProgrammingLanguages #ProgLang

Oh boy, here we go again with the multi-agent blabbering 🤡. The author is trying to convince us that inventing yet another programming language will magically resolve the tangled mess of distributed systems. Spoiler alert: it's just more academic jargon to make them sound smart while we continue to drown in spaghetti code 🍝.
https://kirancodes.me/posts/log-distributed-llms.html #multiagent #programminglanguages #distributedsystems #spaghettiCode #academicjargon #HackerNews #ngated

Oh boy, here we go again with the multi-agent blabbering 🤡. The author is trying to convince us that inventing yet another programming language will magically resolve the tangled mess of distributed systems. Spoiler alert: it's just more academic jargon to make them sound smart while we continue to drown in spaghetti code 🍝.
https://kirancodes.me/posts/log-distributed-llms.html #multiagent #programminglanguages #distributedsystems #spaghettiCode #academicjargon #HackerNews #ngated

Oh boy, here we go again with the multi-agent blabbering 🤡. The author is trying to convince us that inventing yet another programming language will magically resolve the tangled mess of distributed systems. Spoiler alert: it's just more academic jargon to make them sound smart while we continue to drown in spaghetti code 🍝.
https://kirancodes.me/posts/log-distributed-llms.html #multiagent #programminglanguages #distributedsystems #spaghettiCode #academicjargon #HackerNews #ngated

Oh boy, here we go again with the multi-agent blabbering 🤡. The author is trying to convince us that inventing yet another programming language will magically resolve the tangled mess of distributed systems. Spoiler alert: it's just more academic jargon to make them sound smart while we continue to drown in spaghetti code 🍝.
https://kirancodes.me/posts/log-distributed-llms.html #multiagent #programminglanguages #distributedsystems #spaghettiCode #academicjargon #HackerNews #ngated

Oh boy, here we go again with the multi-agent blabbering 🤡. The author is trying to convince us that inventing yet another programming language will magically resolve the tangled mess of distributed systems. Spoiler alert: it's just more academic jargon to make them sound smart while we continue to drown in spaghetti code 🍝.
https://kirancodes.me/posts/log-distributed-llms.html #multiagent #programminglanguages #distributedsystems #spaghettiCode #academicjargon #HackerNews #ngated

🚀🖥️ Ah, yes, the quest for a magical programming language that can do everything and cure world hunger. This article proves that if you can name 40 programming languages, you obviously possess the secret to perfection 🤡. Spoiler: Lean is perfectable, not perfect, much like my ability to care.
https://alok.github.io/lean-pages/perfectable-lean/ #programminglanguages #techhumor #softwaredevelopment #codingcommunity #LeanLanguage #HackerNews #ngated

Sam Tobin-Hochstadt on Composable and Compilable Macros (2015)

https://www.youtube.com/watch?v=pK2E63mhRxI

#ComputerScience(FieldOfStudy) #ComputerProgramming(ConferenceSubject) #ProgrammingLanguages

@kentpitman wrote quite some time ago:
«...
I often do binary partitions of languages (like the static/dynamic split, but more exotic), and one of them is whether they are leading or following, let's say.
...
But, and this is where I wanted to get to, Scheme led on continuations. That's a hard problem and while it's possible, it's still difficult.
...
In the early days of Lisp, the choice to do dynamic memory management was very brave.
...»

Is this related to Worse Is Better?

(I suppose it may be unusual to apply the latter to the Lisp family of languages, but nevertheless.)

#ComputerProgramming
#Lisp
#ProgrammingLanguages
#ProgrammingLanguageDevelopment
#WorseIsBetter

@screwlisp @cdegroot @ramin_hal9001

1990's literate programming: this is the future! everyone will be writing software like this!

AGENTS.md

LP: oh no!

#programmingLanguages #literateProgramming #cweb #llm

🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
https://github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
https://github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
https://github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
https://github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
https://github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

🐢 Oh, look! Someone invented a time machine to take us back to the glorious days of #C89. 🔄 Meanwhile, the rest of the world is busy with, you know, modern programming languages. 🤷‍♂️
https://gist.github.com/alganet/2b89c4368f8d23d033961d8a3deb5c19 #timeMachine #nostalgia #programmingLanguages #techhumor #HackerNews #ngated

Popularity isn’t everything. Some niche functional programming languages offer unique value!

Take a deep dive into Haskell, Scala, and Erlang in this article by Linux Professional Institute (LPI) Editor Andrew Oram: https://lpi.org/jyuw

[Disclaimer: This post contains an image generated using AI]

#FunctionalProgramming #Haskell #Scala #Erlang #OCaml #FSharp #ProgrammingLanguages