rntz/datafun
View on GitHub ↗ ★ 421 TeX
Research on integrating datalog & lambda calculus via monotonicity types
7 mentions on Hacker News by 5 people: 3 stories, 4 comments · first 2016-01-18 · latest 2023-12-29
20082026
-
▲ 2
Datafun: A Purely, Total Functional Datalogstory by anonzzzies · 2023-12-29 · 0 comments
-
…to a more rigid normal form like RDF tuples. Datafun is also a cool upcoming language in this space https://github.com/rntz/datafun
comment by sweetsocks21 · 2021-01-31 · in Cyclic dependencies are evil (2013) -
▲ 1
Datafunstory by tosh · 2020-08-01 · 0 comments
-
▲ 1
Research on integrating datalog and lambda calculus via monotonicity typesstory by tosh · 2018-05-19 · 0 comments
-
…we figure out how to do embedded catalog in other languages. I.e. I really liked The research here https://github.com/rntz/datafun , where we start with "datalog=relational algebra+fixpoints" and then are trying to figure out how far can…
comment by a-saleh · 2018-05-19 · in A relatively simple Datalog engine -
…of Datalog, a more limited language ( http://www.rntz.net/files/datafun.pdf , on github at https://www.github.com/rntz/datafun ) This idea of a higher-order Prolog is very interesting! But it's not clear to me how it can be truly…
comment by rntz · 2016-03-23 · in Extensional Higher Order Prolog -
…in type-theory-jargon at the moment, sorry! feel free to shoot me an email if you have questions): https://github.com/rntz/datafun
comment by rntz · 2016-01-18 · in Ask HN: Which people and groups are researching new approaches to programming?