Descrição
Programas funcionais podem ser escritos com tipagem forte, tipos de efeito e handlers de efeito.
É útil para desenvolvedores e pesquisadores explorando tratamento mais seguro de efeitos colaterais, design de linguagens e sistemas avançados de tipos. A linguagem é especializada, então combina mais com aprendizado, pesquisa e projetos selecionados do que scripting cotidiano geral.