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…

'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!
…2/5…

Follow

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?
…3/5…

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.
…4/5…

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

Sign in to participate in the conversation
types.pl

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