Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.
Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://github.com/google/mangle
#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems
This profile is from a federated server and may be incomplete. View on remote instance