3 ms·
> Also, the Flix type system ensures - at compile-time - that all first-class Datalog values constructed at run-time are stratified. That does sound powerful!
by the-smug-one 6y ago
> Also, the Flix type system ensures - at compile-time - that all first-class Datalog values constructed at run-time are stratified.
That does sound powerful! To be honest I have no idea what the implications of that are - but I guess that's why it's research!
Re: effect system.
The reason that I think algebraic effects are so cool is that they allow for trackable, side-effectful, and powerful abstractions.
To me it sounds like Flix's Pure/Impure effects offer a fine-grained form of taint tracking. Why do you think I should be excited about this? For example, why not Haskell's monad solution?
I hope I don't come off as confrontational, I'm genuinely interested :-).
- jorkadeen 6y agoI think you would want both: algebraic effects and very fine-grained effect reasoning. For example, in all most all languages it is vital that functions such as "equal" and "hash" are pure. It is an open problem how to combine our fine-grained Boolean unification-based effect system with other algebraic effect systems (e.g. row polymorphic ones). I hope the future will tell :)