Datafun, a pure, total functional language co‑created by Neel Krishnaswami, extends Datalog by allowing concise, declarative expression of fixed points over semilattices. Its recent POPL 2020 work demonstrates how incremental, seminaïve evaluation can accelerate these computations, opening new avenues for efficient data‑centric programming.