Note this is a very Hypothetical post, they are way to experimental for gleams current weird budget. However, with that out the way.
This talk explains Datalog literals in a functional language. https://www.youtube.com/watch?v=ikVZrivln8c
Ignoring practical issues like familiary/migration what would be the downsides of something like this in Gleam.
In "Fixpoints for the Masses: Programming with First-Class Datalog Constraints", we present how we have embedded Datalog in a functional programming language enabling a blend of functional and logic programming.
Fixpoints for the Masses: Programming with First-Class Datalog Constraints
Paper DOI: https://doi.org/10.1145/3428193
Presented at O...