Reading¹ my second short introduction to a programming language book this year "Janet for Mortals" https://janet.guide by @ianthehenry. #Janet (https://janet-lang.org) is a #Clojure like #Lisp that can be interpreted, embedded and compiled, and comes with a large standard library with concurrency and PEG parser support. I must say it is very appealing to me. #programmingLanguages

¹ First one was "Learning Zig" https://www.openmymind.net/learning_zig

Reading¹ my second short introduction to a programming language book this year "Janet for Mortals" https://janet.guide by @ianthehenry. #Janet (https://janet-lang.org) is a #Clojure like #Lisp that can be interpreted, embedded and compiled, and comes with a large standard library with concurrency and PEG parser support. I must say it is very appealing to me. #programmingLanguages

¹ First one was "Learning Zig" https://www.openmymind.net/learning_zig

Creating minimal music with code in any programming language

https://zserge.com/posts/etude-in-c/

#HackerNews #minimalmusic #coding #musiccreation #programminglanguages #techinnovation

Syntax and Semantics of Programming Languages (1995)

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/

#HackerNews #Syntax #Semantics #ProgrammingLanguages #1995 #ComputerScience #HackerNews

Control structures in programming languages: from goto to algebraic effects

http://xavierleroy.org/control-structures/

#HackerNews #ControlStructures #ProgrammingLanguages #Goto #AlgebraicEffects #HackerNews

Syntax and Semantics of Programming Languages

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/

#HackerNews #Syntax #Semantics #ProgrammingLanguages #ComputerScience #HackerNews

Erlang Meets Idris: Cure Programming Language

https://cure-lang.org/

#HackerNews #Erlang #Idris #CureProgrammingLanguage #FunctionalProgramming #ProgrammingLanguages

I want a good parallel language [video]

https://www.youtube.com/watch?v=0-eViUyPwso

#HackerNews #parallelprogramming #programminglanguages #video #tutorial #techcommunity

Handwriting Programs in J (2017)

https://www.hillelwayne.com/handwriting-j/

#HackerNews #Handwriting #Programs #J2017 #HandwritingRecognition #ProgrammingLanguages #TechInnovation

I learned today that FORTRAN was not, in fact, the first high-level programming language. It was the second. It was just the first compiled high-level programming language.

The honor of being the first non-asm/machine code programming language goes to SpeedCode: https://en.wikipedia.org/wiki/Speedcoding

#PLT #ProgrammingLanguages

I learned today that FORTRAN was not, in fact, the first high-level programming language. It was the second. It was just the first compiled high-level programming language.

The honor of being the first non-asm/machine code programming language goes to SpeedCode: https://en.wikipedia.org/wiki/Speedcoding

#PLT #ProgrammingLanguages

The Programming Languages Zoo

https://plzoo.andrej.com/

#HackerNews #ProgrammingLanguages #Zoo #ProgrammingLanguages #TechNews #SoftwareDevelopment #CodingCommunity

The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:

https://tori.jutty.dev/updates/iganaq-ocaml/

iganaq is my experimental subset of tori (https://tori.jutty.dev) for evaluating candidate programming languages for its future versions.

#OCaml #ProgrammingLanguages #programming #OperatingSystems

The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:

https://tori.jutty.dev/updates/iganaq-ocaml/

iganaq is my experimental subset of tori (https://tori.jutty.dev) for evaluating candidate programming languages for its future versions.

#OCaml #ProgrammingLanguages #programming #OperatingSystems

All about the new pipe operator in PHP 8.5:

https://thephp.foundation/blog/2025/07/11/php-85-adds-pipe-operator/

#PHP #programming #programminglanguages

All about the new pipe operator in PHP 8.5:

https://thephp.foundation/blog/2025/07/11/php-85-adds-pipe-operator/

#PHP #programming #programminglanguages

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 https://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 https://www.crowdstrike.com/en-us/blog/dealing-with-out-of-memory-conditions-in-rust/

#ProgrammingLanguages

<"/>
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

For my next #compiler project, I want to write the optimization passes myself, but I don't want to deal with generating machine code for multiple platforms. So tell me #programminglanguages #plt #pldev #compilers fedi, what is an IR that I can target that has a non-optimizing compiler to machine code and supports multiple platforms? This rules out most popular IR like LLVM, C, QBE, Cranelift etc.

In short, I want something that does only instruction selection, register allocation and codegen for multiple platforms. I don't need optimization, so I expect this thing to be really small and lightweight, unlike LLVM, GCC etc.