5 ms·

Yeah, it's really unfortunate that these amazing advances in datalog don't make it into general purpose languages.

• jorkadeen 3y ago
  You might be interested in Flix which has first-class Datalog program values: https://flix.dev/ https://flix.dev/ https://doc.flix.dev/fixpoints.html https://doc.flix.dev/fixpoints.html (I am one of the developers of Flix)
  • dunefox 3y ago
    I was about to post this. If only the vscode plugin worked I would use Flix.
    • jorkadeen 3y ago
      What's the issue? Bug reports are most welcome.
      • dunefox 3y ago
        The latest version seems to have solved the issue. At least the compiler plugin runs with an empty file now.
  • rsrsrs86 3y ago
    The feature list is impressive
  • dunefox 3y ago
    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
• dunefox 3y ago
  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.