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.

#1008on PLDB 9Years Old
Download source code:
git clone https://github.com/rntz/datafun
Homepage · Source 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.


- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0