I'm really curious what 'advanced' will mean in 2030 ?
procedural programming fully gone and most programs being about metalevel self-adapting (ml or else) parallel agents ?
I don't have the oomph to write a whole big thing this morning but uh, here are some links that are relevant IMO:
http://conal.net/papers/compiling-to-categories/
https://www.categoricaldata.net/
https://terminusdb.com/blog/ (It's a little market-ey, dig around for the meat. Graph DB in Prolog & Rust, "git for data", etc.)
https://github.com/Co-dfns/Co-dfns
edit: Ah it's you agumonkey (I don't check usernames before replying.) Apologies if I sound like a broken record in re: the above topics.