Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

datafun

< >

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

#999on PLDB 9Years Old
Download source code:
git clone https://github.com/rntz/datafun
HomepageSource Code

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 Add About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll