@alexelcu #flixlang does statically tracked capabilities too.. that too on the JVM hosted in #scala ..

Oh look #flixlang is on the orange site 

Flix – A powerful effect-oriented programming language | Hacker News

https://news.ycombinator.com/item?id=44521224

#jvm #scala #flix

Flix – A powerful effect-oriented programming language | Hacker News

The Flix Programming Language - https://flix.dev

-

PSA: New Type Inference Engine

«merging in a completely new type inference engine

- Associated types and effects
- begin to use associated types and effects in the standard library
- new, simpler, and faster Boolean unification solver
- A path towards a set based Boolean unification solver
- A path towards significantly improved interoperability
»

https://github.com/flix/flix/discussions/7482

#flix #flixlang #fp #functionalProgramming #plt #scala

Flix | The Flix Programming Language

I remade the API docs of #flixlang to have a better navigation on mobile https://flix-api.netlify.app
After Haskell, Nix and Unison, I'll try out the Flix programming language for this year's Advent of Code. #flixlang #adventofcode
An introduction to Datalog in Flix: Part 1 | Paul Butcher

Paul Butcher's personal site