@flixlang

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

flix.dev/
Joined October 2020
  • Tweets463
  • Following0
  • Followers1.9K
82Media
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
@etaconversionAug 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

GitHub - lampepfl/tacit: TACIT — Tracked Agent Capabilities In Types

TACIT — Tracked Agent Capabilities In Types. Contribute to lampepfl/tacit development by creating an account on GitHub.

github.com
3
4
648
New podcast episode! Magnus Madsen (@MagnusMadsenDK) on everything Flix (@flixlang), effect systems, AI and the relevance of programming languages:
2
6
29
1,484
🔥 New languages, bold ideas! At #LambdaDays 2025, explore @flixlang , built around effect-oriented programming, and @yolc_dev a safe & expressive Haskell-embedded language for Ethereum smart contracts. Two speakers. Two talks. Two visions of the future. @hellwolf2025 @MagnusMadsenDK 🎟️ lambdadays.org
4
7
744
Yo, flix (flix.dev) looks actually really good. It ticks all the boxes for an advanced, modern functional programming languages, and has a great story for controlling mutation and side effects. And it has some surprising extra features like datalog integration??
10
10
1
77
9,859
Replying to @wereness @awelonblue @leithaus @rickasaurus
An attractive feature of @Flixlang is the impurity annotations.
1
1
667
flix retweeted
GOTO@GOTOcon1 Aug 2023
Have you used @flixlang? This open-source #programming language enables devs to write code in an imperative, logical, or functional style Hear @MagnusMadsenDK delve into several notable features of Flix, including its polymorphic type and effect systems youtu.be/2LSOqikNqxM?list=PL…
9
18
3,141
Magnus Madsen introducing us to the Flix Programming Language in his Dahl-Nygaard Junior Prize keynote at #ECOOP22 this morning! Thanks for the great talk and congratulations on the award! @MagnusMadsenDK @AarhusUni_int flix.dev 2022.ecoop.org/details/ecoop…
3
15
Replying to @InfoQ
@InfoQ has spoken to @MagnusMadsenDK about @flixlang. Find the full interview at ➡️ infoq.com/news/2022/02/flix-…

Interview with Magnus Madsen about the Flix Programming Language

Flix, an open-source programming language inspired by many programming languages, enables developers to write code in a functional, imperative or logic style. Flix looks like Scala, uses a type...

infoq.com
2
4
Happy Saturday! I just published episode 54 of @HappyPathProg where Bruce and I have a delightful chat with the @flixlang language designer, Magnus Madsen: anchor.fm/happypathprogrammi…

#54 Flix: Designing a principled programming language with Magnus Madsen by Happy Path Programming

Magnus Madsen, language designer for the Flix programming language, joins us to talk about the driving principles and innovative features of the language. Discuss this episode: https://discord.gg/n...

creators.spotify.com
5
1
25
Congratulations to Assist. Prof. Magnus Madsen and Professor Jaco van de Pol, who are among the 26 recipients of the 2021 spring Amazon Research Awards 🎉 The $60,000 award is intended to support work on the Flix programming language.
Amazon Science
@AmazonScience7 Sep 2021
Congrats to the 26 recipients of the Spring 2021 #AmazonResearchAwards. Recipients have access to more than 250 Amazon public datasets, and can utilize AWS AI/ML services and tools via AWS Promotional Credits. Learn more about this year's recipients. amzn.to/3yQXBMz
1
6
18
Flix: Nyt sprog fra Aarhus vil gøre programmørens liv lettere med logik i tanken version2.dk/1093103?utm_sour…
2
1
3
Load more