Fuzion Language @fuzion@types.pl
- https://twitter.com/@FuzionLang
A language that unifies concepts to improve productivity and to use tools for performance and correctness.
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 #FOSDEM!
All the details: https://flang.dev/news/news_022
And here the source code. More details on github: https://github.com/tokiwa-software/christmas_tree
Merry Christmas to everyone with a Fuzion generated Christmas tree!
🧵1/2
More on the Fuzion language, more examples, idioms, a tutorial, design background can be found at https://flang.dev
…5/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…
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…
'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…
I would like to start a little series explaining Fuzion using idioms from https://www.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!
https://github.com/tokiwa-software/fuzion
Fuzion December news have just been published: Important language and standard library improvements include more powerful type features and interfaces to most Java modules:
https://flang.dev/news/news_021
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!
- https://twitter.com/@FuzionLang
A language that unifies concepts to improve productivity and to use tools for performance and correctness.
