Comment by vatsachak

https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf

I think that something like this is the endgame practical programming language