Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download


< >

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

#958on PLDB 9Years Old
Download source code:
git clone

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 About Resources Acknowledgements Part of the World Wide Scroll