In my mind, there are three really great little languages: * datafun - attempt to extend datalog to more generic computation. http://www.rntz.net/datafun/ http

In my mind, there are three really great little languages: * datafun - attempt to extend datalog to more generic computation. http://www.rntz.net/datafun/ http://www.rntz.net/datafun/ I liked simillar exploration of computing with latices with the concept of propagators: http://web.mit.edu/~axch/www/art.pdf http://web.mit.edu/~axch/www/art.pdf * dhall - configuration language that has user defined functions, but is total :) https://github.com/dhall-lang/dhall-lang https://github.com/dhall-lang/dhall-lang * the gamma - a visualization/data query language : http://tomasp.net/blog/2017/thegamma-getting-started/ http://tomasp.net/blog/2017/thegamma-getting-started/