4 ms·

Flix: https://flix.dev/ https://flix.dev/ (edit) c'n'p from their site: Why Flix? Flix aims to offer a unique combination of features that no other programmi

by scns 5y ago

Flix: https://flix.dev/ https://flix.dev/ (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).

valenterry 5y ago
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!
- scns 5y ago
  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/ https://flix.dev/research/ [1] https://blog.ploeh.dk/2016/03/18/functional-architecture-is-ports-and-adapters/ https://blog.ploeh.dk/2016/03/18/functional-architecture-is-... [2] https://www.youtube.com/watch?v=US8QG9I1XW0 https://www.youtube.com/watch?v=US8QG9I1XW0
dwenzek 5y ago
Thanks for the link. Indeed a nice programming language proposal. I love the opinionated set of design principles https://flix.dev/principles/ https://flix.dev/principles/. There is also a former thread on HN: https://news.ycombinator.com/item?id=25513397 https://news.ycombinator.com/item?id=25513397
- scns 5y ago
  Very nice, good catch. It has UFCS [0] like D! [0] https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax

by scns 5y ago

valenterry 5y ago

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!

scns 5y ago
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/ https://flix.dev/research/ [1] https://blog.ploeh.dk/2016/03/18/functional-architecture-is-ports-and-adapters/ https://blog.ploeh.dk/2016/03/18/functional-architecture-is-... [2] https://www.youtube.com/watch?v=US8QG9I1XW0 https://www.youtube.com/watch?v=US8QG9I1XW0

dwenzek 5y ago

Thanks for the link. Indeed a nice programming language proposal. I love the opinionated set of design principles https://flix.dev/principles/ https://flix.dev/principles/. There is also a former thread on HN: https://news.ycombinator.com/item?id=25513397 https://news.ycombinator.com/item?id=25513397

scns 5y ago
Very nice, good catch. It has UFCS [0] like D! [0] https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax