Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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)



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


The feature list is impressive


I was about to post this. If only the vscode plugin worked I would use Flix.


What's the issue? Bug reports are most welcome.


The latest version seems to have solved the issue. At least the compiler plugin runs with an empty file now.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: