Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


datafun - Programming language

< >

datafun is a programming language created in 2015 by Michael Arntzenius.

#1438on PLDB 8Years Old 377Users
0Books 0Papers

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.

plex.html 路 datafun.html 路 son.html

View source

- Build the next great programming language Search Day 215 About Blog Acknowledgements Traffic Traffic Today GitHub