flix@flixlang

The Flix Programming Language. A next-generation effect-oriented programming language.

flix.dev/
Joined October 2020
78 Photos and videos
1/3 We are pleased to announce the release of Flix 0.76.0! This major release brings a refactored frontend and backend, paving the way for building the Flix compiler with @graalvm.
2
5
27
959
2/3 This feature is still experimental, and we’re not yet shipping native images. However, adventurous users can now build their own native image of the Flix compiler.
1
3
191
3/3 As usual, the full changelog is available on GitHub: github.com/flix/flix/release…

Release Version 0.76.0 · flix/flix

Compiler: Added support for building the compiler as a Graal native image (thanks Magnus!) Compiler: Reimplemented bytecode generation to use nominal class descriptors (thanks Magnus!) Compiler: Re...

github.com
91
Soon:
3
21
651
1/3 We compiled the Flix compiler with @graalvm Throughput, for the frontend, went from 133,287 lines/sec to 249,428 lines/sec (!) with peak throughput reaching 296,635 lines/sec. Startup also went from 3s to 0.5s.
1
11
42
2,378
2/3 Unfortunately several components in the compiler, especially in the backend, are not compatible with Graal. But given the success of the experiment, we've created a plan to gradually replace those components.
1
8
290
3/3 Hence, at some point in the future, we hope to also ship a natively compiled Flix compiler!
13
208
The flix.dev website has been refreshed. The website is now static HTML + CSS and achieves a 100% lighthouse score on performance. We've also added a darkmode.
2
4
32
1,392
2
234
The authors of @flixlang have a nice paper surveying the need for exclusion in the wild on GitHub. (And yes, we can do all their examples). dl.acm.org/doi/abs/10.1145/3…
Oliver Bračevac
@etaconversion
Aug 7
Replying to @ianchanning
For us, the concrete problem was getting more of Scala's stdlib capture-checked, especially control and concurrency. The larger goal is capability tracking across all of Scala. TACIT uses the same machinery to statically limit what AI agents can do: github.com/lampepfl/tacit
3
4
614
New podcast episode! Magnus Madsen (@MagnusMadsenDK) on everything Flix (@flixlang), effect systems, AI and the relevance of programming languages:
2
6
29
1,483
1/2 Lutz Hühnken gave an interesting talk on 'Four Fascinating Programming Languages You've Probably Never Heard Of', including Flix (which, obviously if you follow this account, you have heard of). Link below:
2
2
10
724
2/2 piped.video/watch?v=_rHoHLan…

Four Fascinating Programming Languages You've Probably Never Heard Of - Lutz Hühnken

There’s a world outside of Java and C#. Well, you know there is, be...

youtube.com
1
3
504
1/2 We are pleased to announce the release of Flix 0.73.0. This is minor release bringing a new Util.Json module, performance improvements, and several fixes.
1
3
14
1,063
2/2 As usual, the full change log is available on GitHub: github.com/flix/flix/release…

Release Version 0.73.0 · flix/flix

Library: Added Util.Json module (thanks Magnus!) Compiler: Improved performance of CodeGen (thanks Magnus!)

github.com
4
347
1/2 The next version of Flix will feature significantly improved effect error messages:
2
4
25
1,431
2/2
7
300
We have moved to Zulip, come talk to us 👇
1
1
8
912
flix.zulipchat.com/

Flix Programming Language

Flix is a principled functional, imperative, and logic programming language developed at Aarhus University, at the University of Waterloo, and by a community of open source contributors. | Official...

flix.zulipchat.com
4
270
1/2 We are pleased to announce the release of Flix 0.71.0! This is a major release which brings significantly improved Java interoperability, improved pattern match compilation, and other bytecode optimizations.
1
3
11
833
2/2 As usual, the full changelog is available on GitHub: github.com/flix/flix/release…

Release Version 0.71.0 · flix/flix

Compiler: Significantly improved Java interoperability for generic/polymorphic types (thanks Magnus!) Compiler: Improved pattern match compilation with ordinal dispatch and tableswitch (thanks Magn...

github.com
1
222
Load more