Re:The problem of effects in Rust (2020)
by dwenzek on Saturday August 28, 2021 @09:46AM
(#28338002)
Thanks for the link. Indeed a nice programming language proposal. I love the opinionated set of design principles https://flix.dev/principles/.
There is also a former thread on HN: https://news.ycombinator.com/item?id=25513397
Very nice, good catch. It has UFCS [0] like D!
[0] https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax
Re:The problem of effects in Rust (2020)
by valenterry on Saturday August 28, 2021 @06:03AM
(#28336890)
Honestly, I find the announcements of 99% of new languages here at hackernews pretty boring, because they all feel like they didn't learn anything from the last 20 years or so.
But this list actually makes me excited!
Yeah, me too. They published quite a lot of papers using it [0]. The datalog integration is pretty nice too, haven't gotten to learning Prolog yet, but seeing how concise a sudoku solver can be implemented in it was an experience.
(edit) you can import Java, Kotlin and Scala in it too, those are automatically Impure. Would enable purely functional architecture [1] and falling into the "Pit of success" [2].
[0] https://flix.dev/research/ [1] https://blog.ploeh.dk/2016/03/18/functional-architecture-is-... [2] https://www.youtube.com/watch?v=US8QG9I1XW0
(edit) c'n'p from their site:
Why Flix?
Flix aims to offer a unique combination of features that no other programming language offers, including: algebraic data types and pattern matching (like Haskell, OCaml), extensible records (like Elm), type classes (like Haskell, Rust), higher-kinded types (like Haskell), local type inference (like Haskell, OCaml), channel and process-based concurrency (like Go), a polymorphic effect system (unique feature), first-class Datalog constraints (unique feature), and compilation to JVM bytecode (like Scala).