Unison

Unison Is an open source functional programming language based on a simple idea with big implications: code is content addressed and immutable.

—

Learn more at:https: unison-lang.org