A friendly programming language from the future
Unison is a statically-typed functional programming language with type inference, an effect system, and advanced tooling, built primarily in Haskell. The language is built around content-addressed code, in which functions are identified by a hash of their implementation rather than by name, and code is stored as its AST in a database. The repository includes several packages supporting the language ecosystem, including unison-sqlite for SQLite database access, unison-share-api for defining Share APIs using Servant, and various testing and orphan instance packages. The project can be built using Stack or Nix and is maintained by the Unison team through unisonweb on GitHub.