fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

8.8K
active users

#programminglanguages

4 posts4 participants0 posts today
Aiono<p>Sometimes I wonder if having really good sting interpolation is not a good idea in programming languages, because then people tend to cobble specially formatted strings instead of learning proper APIs to construct them.</p><p><a href="https://mastodon.social/tags/PLdesign" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PLdesign</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a></p>
Aiono<p>It turns out that sum types/discriminated unions were already invented in 1966 by Tony Hoare. We could have them all along if Bjarne Stroustrup decided to include it in C++, but he didn't to encourage use of virtual functions.</p><p><a href="https://youtu.be/wo84LFzx5nI?t=2901" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/wo84LFzx5nI?t=2901</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://mastodon.social/tags/plhistory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plhistory</span></a></p>
Potato Imaginator<p>Watermelon compilation: <a href="https://youtu.be/Vy6zpVFMiBI" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/Vy6zpVFMiBI</span><span class="invisible"></span></a></p><p><a href="https://peoplemaking.games/tags/tic80" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tic80</span></a> <a href="https://peoplemaking.games/tags/p5js" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>p5js</span></a> <a href="https://peoplemaking.games/tags/rive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rive</span></a> <a href="https://peoplemaking.games/tags/desmos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>desmos</span></a> <a href="https://peoplemaking.games/tags/watermelon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>watermelon</span></a> <a href="https://peoplemaking.games/tags/watermelons" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>watermelons</span></a> <a href="https://peoplemaking.games/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://peoplemaking.games/tags/animation2d" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation2d</span></a> <a href="https://peoplemaking.games/tags/animated" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animated</span></a> <a href="https://peoplemaking.games/tags/art" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>art</span></a> <a href="https://peoplemaking.games/tags/artist" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>artist</span></a> <a href="https://peoplemaking.games/tags/artistsonmastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>artistsonmastodon</span></a> <a href="https://peoplemaking.games/tags/pixel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pixel</span></a> <a href="https://peoplemaking.games/tags/pixelart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pixelart</span></a> <a href="https://peoplemaking.games/tags/pixelartist" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pixelartist</span></a> <a href="https://peoplemaking.games/tags/pixelartanimation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pixelartanimation</span></a> <a href="https://peoplemaking.games/tags/pixelanimation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pixelanimation</span></a> <a href="https://peoplemaking.games/tags/vector" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vector</span></a> <a href="https://peoplemaking.games/tags/vectorart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vectorart</span></a> <a href="https://peoplemaking.games/tags/vectorgraphics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vectorgraphics</span></a> <a href="https://peoplemaking.games/tags/vectoranimation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vectoranimation</span></a> <a href="https://peoplemaking.games/tags/compilation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compilation</span></a> <a href="https://peoplemaking.games/tags/youtube" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>youtube</span></a> <a href="https://peoplemaking.games/tags/youtuber" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>youtuber</span></a> <a href="https://peoplemaking.games/tags/youtubechannel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>youtubechannel</span></a> <a href="https://peoplemaking.games/tags/nerd" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerd</span></a> <a href="https://peoplemaking.games/tags/geek" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geek</span></a> <a href="https://peoplemaking.games/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://peoplemaking.games/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://peoplemaking.games/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://peoplemaking.games/tags/code" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>code</span></a> <a href="https://peoplemaking.games/tags/coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coding</span></a> <a href="https://peoplemaking.games/tags/creativecoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>creativecoding</span></a> <a href="https://peoplemaking.games/tags/creativecodingart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>creativecodingart</span></a> <a href="https://peoplemaking.games/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://peoplemaking.games/tags/program" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>program</span></a> <a href="https://peoplemaking.games/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://peoplemaking.games/tags/scripting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>scripting</span></a> <a href="https://peoplemaking.games/tags/2d" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>2d</span></a> <a href="https://peoplemaking.games/tags/2danimation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>2danimation</span></a></p>
John M. Gamble<p>I&#39;m posting this mostly for my own benefit; this is discussing a language feature I&#39;m unfamiliar with.</p><p>What I find interesting is that just like some ideas are in the air and find their landing point, so too do some ideas just fail to find the right implementation.</p><p>So time to look up sum types (or disjoint unions or...).</p><p><a href="https://fosstodon.org/tags/ProgrammingLanguages" class="mention hashtag" rel="tag">#<span>ProgrammingLanguages</span></a></p><p>&quot;...language features are easily broken, mis-copied, forgotten or intentionally omitted due to the designer&#39;s pet beliefs.&quot;</p><p><a href="https://graydon2.dreamwidth.org/318788.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">graydon2.dreamwidth.org/318788</span><span class="invisible">.html</span></a></p>
Hacker News<p>Binding Application in Idris</p><p><a href="https://andrevidela.com/blog/2025/binding-application/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">andrevidela.com/blog/2025/bind</span><span class="invisible">ing-application/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/BindingApplication" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BindingApplication</span></a> <a href="https://mastodon.social/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.social/tags/TypeSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeSystems</span></a></p>
Larry Garfield<p>All about the new pipe operator in PHP 8.5:</p><p><a href="https://thephp.foundation/blog/2025/07/11/php-85-adds-pipe-operator/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">thephp.foundation/blog/2025/07</span><span class="invisible">/11/php-85-adds-pipe-operator/</span></a></p><p><a href="https://phpc.social/tags/PHP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PHP</span></a> <a href="https://phpc.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://phpc.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a></p>
Jason P 🇺🇦 🌍🌎🌏<p>Best keywords to use for case-matching syntax? <a href="https://functional.cafe/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a></p>
Hacker News<p>Jank Programming Language</p><p><a href="https://jank-lang.org/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">jank-lang.org/</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/JankProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JankProgrammingLanguage</span></a> <a href="https://mastodon.social/tags/JankLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JankLang</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.social/tags/TechNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TechNews</span></a> <a href="https://mastodon.social/tags/CodingCommunity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CodingCommunity</span></a></p>

Today I realized #Go and #Rust both have panics instead of exceptions and both originate from the second half of the 2000s.

These facts are now mentioned in gato-lang.dev/

If you have experience with Go or Rust, I'm interested in your thoughts on the lack of exceptions in these languages. It looks to me like an attempt to simplify things that eventually backfired, as evidenced for example by crowdstrike.com/en-us/blog/dea

gato-lang.devGato Programming Language

Даўно збіраўся пачытаць гэтую кнігу, але вось толькі зараз дабраўся. З усіх апісваных у кнізе моваў я зусім ніяк не сутыкаўся толькі з Prolog і Io, таму спадзяюся што гэтыя часткі кнгі прынамсі будуць цікавыя

I want to read a #compiler book written in the last 15 years that covers same topics as the Modern Compiler Implementation book by Appel, but uses recent terminology, tools and techniques. Any recommendations? #compilers #programminglanguages

EDIT: It seems like no such book exists. I guess I’ll have to read docs, blogs and papers along with old books to put things together myself.

Replied in thread

<"/>
There’s only one truly universal ecosystem: the C ecosystem.

Here is my quick and dirty interpretation.

The actual ecosystem of computer programs is the machine language of the architecture they are running on.
Programming in machine language is done in assembly language.
C is (still) the dominant machine-independent assembly language.

NB: this universality excludes the bytecode languages of the JVM etc.

#ComputerProgramming
#ProgrammingLanguages

@amoroso

#devops how do you think your ideal programming language would look like? I mean a language in which you would write pipeline logic, like Python or Bash, not define pipeline steps itself, like YAML.

I think for me it would have:
- very clean and readable syntax
- immutable state by default
- strong typing
- strong tooling and IDE support
- focus on DevOps-need things, like JSON and files manipulation
- absence of danger things like pointers