datafun - Programming language

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

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.

Tags: programming language
datafun is developed on GitHub and has 384 stars
Early development of datafun happened in University of Birmingham
datafun is written in Tex, OCaml, Agda, Racket, Make, Markdown, Haskell, Bash, Bourne shell, Python, Rust, JSON, TOML
Read more about datafun on the web: 1.