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.