Unison, uma linguagem funcional estaticamente tipada com inferência de tipos, um sistema de efeitos e ferramentas avançadas, atingiu seu standing de lançamento 1.0.
Anunciado 25 de novembroo Unison 1.0 marca um ponto em que a linguagem, o tempo de execução distribuído e o fluxo de trabalho do desenvolvedor se estabilizaram, de acordo com a Unison Computing. Anunciado como “uma linguagem de programação amigável do futuro”, o Unison pretende trazer benefícios na compilação e no desenvolvimento de sistemas distribuídos. Com o Unison, uma definição é identificada pelo seu conteúdo actual, ou seja, um hash de sua árvore sintática, e não apenas pelo nome amigável que também se refere a versões mais antigas da definição, de acordo com a Unison Computing. Como resultado, cada definição Unison possui um endereço único e determinístico. Todos os argumentos nomeados são substituídos por referências de variáveis numeradas posicionalmente e todas as dependências são substituídas por seus hashes. Assim, o hash de cada definição identifica de forma única sua implementação exata e fixa todas as suas dependências, segundo a empresa.
O ecossistema Unison aproveita essa ideia central desde o início. Os benefícios incluem nunca compilar o mesmo código duas vezes e limitar conflitos de versão. Além disso, o Unison promete simplificar a programação distribuída. Como as definições no Unison são identificadas por um hash de conteúdo, cálculos arbitrários podem ser movidos de um native para outro, com dependências ausentes implantadas instantaneamente, de acordo com a Unison Computing. Unison pode ser visto como um descendente de Haskell, com semelhanças incluindo inferência de tipos e correspondência de padrões, mas é menor e mais simples que Haskell, de acordo com um Perguntas frequentes sobre uníssono.