Questions Columns Rows
GitHub icon


datafun - Programming language

< >

datafun is an open source programming language created in 2015 by Michael Arntzenius.

Source code:
git clone
#1432on PLDB 8Years Old

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.

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 277 Logout