Looks interesting, primarily because of the first-class datalog integration. It will be interesting to see if there’s significant benefit to having first class support rather than a high-quality library.

Nice to see such an approachable website for a research language. The fixpoint stuff looks interesting. At first glance reminds me of prolog (but I’m a total noob and might be very offbase with that comparison).

The page doesn’t load at all without javascript enabled. If I can’t even view their mostly text homepage without that bloat, I wonder what the language is like…..

edit: Documentation doesn’t load without it either.

Too bad the example on their landing page doesn’t work…

class java.lang.String cannot be cast to class flix.runtime.value.Unit (java.lang.String is in module java.base of loader ‘bootstrap’; flix.runtime.value.Unit is in unnamed module of loader ‘app’)