Unison (UnisonWeb)

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