Datafun – functional language that generalizes Datalog | Dark Hacker News