datafun is an actively used programming language created in 2015. It's a simple, pure, and total functional language that generalizes Datalog. Datafun's superpower is that it can concisely and declaratively express and compute fixed points of monotone maps on semilattices.
- the datafun website
- datafun on github
- datafun first appeared in 2015
- Have a question about datafun not answered here? Email me and let me know how I can help.
Last updated August 9th, 2020