Fuzion today reached the milestone of 1000s PRs/issues! That project is growing up!


Fuzion January news have just been published: Last month's language improvements include support for covariant type changes and improvements for type parameters, also lots of work on the base library. Also two Fuzion talks at !

All the details: flang.dev/news/news_022

Merry Christmas to everyone with a Fuzion generated Christmas tree!

More on the Fuzion language, more examples, idioms, a tutorial, design background can be found at flang.dev

Show thread

The outermost feature in Fuzion is called the universe, it is the implicit container for code that is not within any other feature. Also, the universe' code is executed when running an application, and analyzing a whole application means analyzing the universe.

Show thread

When statically analyzing this code, we get the list of effects of every feature, in this case, the analysis results in:
But wait, we did not define a feature, so what does this show?

Show thread

'say' uses the base library effect 'io.out'. Effects are special in Fuzion, they represent any non-functional behavior. Having full control over the effects of Fuzion code means that we know exactly what code can do. Any I/O, networking, hidden state, etc. is known!

Show thread

I would like to start a little series explaining Fuzion using idioms from programming-idioms.org/.
Fuzion idiom #1, the classic 'Hello, World!' example:
But there is more to this since Fuzion uses effects:
A small 🧵1/5…

After a pretty busy week we reached the milestone of 4000 commits on the Fuzion repository!

Fuzion December news have just been published: Important language and standard library improvements include more powerful type features and interfaces to most Java modules:

Time for Fuzion's introduction here. This channel will be posting about the Fuzion programming language and interesting developments from the functional and OO programming language communities.

Fuzion is a new functional and object-oriented programming language and set of tools targeting safety-critical applications.

Happy to be hosted by types.pl!


A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.