Hacker News new | past | comments | ask | show | jobs | submit login

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

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




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



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




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: