[anonzzzies]

Makes me think of Unison [0]. I never used it but I found it interesting to read about.

[0] https://www.unison-lang.org

[aeonik]

The Bruijn language is a really cool language that takes some of theae ideas to the extreme and fundamentals.

Variables aren't named, they are beta reduced and referred to by abstraction level.

https://text.marvinborner.de/2023-04-06-01.html

[bradrn]

Also Io, to some extent: https://iolanguage.org/guide/guide.html#Importing

[bsima]

scrap script is another similar project https://scrapscript.org/