News for hackers. Stuff that matters.

A comment on Ask HN: What is new in Algorithms / Data Structures these days?. Parent comment

Re:Ask HN: What is new in Algorithms / Data Structures these... by ggleason on Wednesday May 10, 2023 @12:14PM (#35889487)
Yeah, it's really unfortunate that these amazing advances in datalog don't make it into general purpose languages.
[ Parent | on HN ]
Re:Ask HN: What is new in Algorithms / Data Structures these... by jorkadeen on Wednesday May 10, 2023 @01:09PM (#35890259)
You might be interested in Flix which has first-class Datalog program values:

https://flix.dev/

https://doc.flix.dev/fixpoints.html

(I am one of the developers of Flix)

[ Parent | on HN ]
Re:Ask HN: What is new in Algorithms / Data Structures these... by dunefox on Thursday May 11, 2023 @02:34AM (#35898506)
I was about to post this. If only the vscode plugin worked I would use Flix.
[ Parent | on HN ]
Re:Ask HN: What is new in Algorithms / Data Structures these... by jorkadeen on Thursday May 11, 2023 @03:00PM (#35906740)
What's the issue? Bug reports are most welcome.
[ Parent | on HN ]
Re:Ask HN: What is new in Algorithms / Data Structures these... by dunefox on Friday May 12, 2023 @06:53PM (#35923557)
The latest version seems to have solved the issue. At least the compiler plugin runs with an empty file now.
[ Parent | on HN ]
Re:Ask HN: What is new in Algorithms / Data Structures these... by rsrsrs86 on Thursday May 11, 2023 @12:57PM (#35904918)
The feature list is impressive
[ Parent | on HN ]
Re:Ask HN: What is new in Algorithms / Data Structures these... by dunefox on Saturday May 20, 2023 @09:25AM (#36011758)
The documentation could use some proof reading. Grammar etc.

> Flix is strongly typed. Any attempt to use predicate symbol with terms of the wrong type (or with the wrong arity) is caught by the type checker.

*Statically typed

[ Parent | on HN ]
Re:Ask HN: What is new in Algorithms / Data Structures these... by dunefox on Thursday May 11, 2023 @02:33AM (#35898495)
Mainstream languages will lag behind others forever. The average programmer in Java or C# neither cares for nor understands 'new' features or concepts. Most people I know in this area have never even heard about prolog, lisp, smalltalk, etc.
[ Parent | on HN ]