mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

348K
active users

#programminglanguages

12 posts12 participants4 posts today

Dear #ProgrammingLanguages people;

Is there a standard name for equivalence of expressions up to bijection between free variables? Assume for simplicity there are no bound variables in the expressions / statements. Obviously it's a relatively weak kind "equivalence", the statements / expressions are not substitutable without some "calling convention" to do appropriate renaming. I guess math people might call them "isomorphic".

Three weeks until @bobkonf in Berlin. If you want to attend (for example to hear me talk about some programming languages you might find interesting) and don't have a ticket yet, use the code FRIEND-OF-A-SPEAKER-BOB2025 to get a 12.5% discount.

bobkonf.de/2025/huehnken.html

bobkonf.deBOB - Four Fascinating Programming Languages You've Probably Never Heard OfBOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

The Haggis programming language is not a widely known or existing programming language. However, I will provide you with a representation of what "Hello World!" might look like if it were written using a made-up Haggis code structure. Please note that this is purely for illustration and not an actual working script.

```haggis
// Haggis: A Made-Up Programming Language
print("Hello, World!") // This statement would output "Hello World!" to the console or any given output device.

// Explanation: The code starts with commenting in the form of `//`, signifying that we are describing a program for Haggis language. Next, we see a built-in function named 'print()' which accepts the string parameter "Hello, World!". Since there is no pre-existing syntax or rules for this fictional language, I have used basic elements such as braces and commas to give it a structure similar to other programming languages. This would not actually work in any existing programming language, but just provides an idea of what could be achieved if this language were real.
```

Remember that this is only meant to demonstrate a made-up scenario and doesn't represent any valid programming code.

ai.forfun.su/2025/02/21/haggis

ZaxiousXL image model: civitai.com/models/324944

Just a friendly reminder, because I see this claim over and over again (on LKML too):

C is not a subset of C++. They split apart a *long* time ago:

// C: may be invoked with arguments
// C++: must not be invoked with arguments
void bar();

// C: this is struct initialization (since C99)
// C++: this is invalid syntax (until before C++20)
typedef struct data { float x, y; } data;
data val = { .x = 1.0f, .y = 1.0f };

Strongly worded #medium #article on #programmingLanguages and #dialogue relating to
@nosrednayduj 's interview today concerning the concerning relative merits of #lisp and #java . Connection to strong echoes of points Masinter made about Medley Interlisp in an earlier interview.

Thoughts, commentary welcome here and on Medium.

@rat this article is specifically addressed to you, if you'll forgive me.

medium.com/@screwlisp/lisp-sm0

Medium · Lisp, sm0lnet, fedi, Medium and what am I doing? - screwlisp - MediumBy screwlisp

10 Future Programming Languages to Watch in 2025

tuvoc.com/blog/10-future-progr

Discover 10 emerging programming languages that will shape the future of software development in 2025. Stay ahead with the latest trends in coding and technology.












🌐 Programming Languages Used in Different Domains 💻

As the tech world continues to evolve, each programming language has found its sweet spot in specific domains or areas of development. Whether you’re interested in web development, data science, game development, or AI, different programming languages excel at different tasks.

There's no point in fighting over languages, even if, according to you, that language is dumb (nonsensical).

No single Turing-complete language solves every problem. Some excel at math and symbolic computation, others at parallel computing, some are general-purpose, and others prioritize performance.

If you want, keep piling on features and libraries for your favorite language.