Idris 2 é uma linguagem de programação com tipos dependentes baseados na “Teoria de Tipos Quantitativos” que permite a anotação explícita de tipos apagados e tipos lineares. Esse snap é uma versão de amostra do Idris 2. Neste tutorial, saiba como instalar o Idris 2 no Linux.

Tabela de conteúdo

Instalando o Idris 2 no Ubuntu, Kubuntu, Xubuntu e derivados!Instalando o Idris 2 no Fedora e derivados!Instalando o Idris 2 no Debian e derivados!

Idris 2 tem muitos recursos, dentre eles:

Uma linguagem central baseada na “Teoria dos Tipos Quantitativos” que permite a anotação explícita de tipos apagados e tipos lineares;
let as ligações agora são mais expressivas e podem ser usadas para definir funções de correspondência de padrões localmente;
Os nomes que estão no escopo em um tipo também estão sempre no escopo no corpo da definição correspondente;
Melhor inferência. Os furos são globais para um arquivo de origem, em vez de locais para uma definição, o que significa que alguns furos podem ser deixados nos tipos de função para serem inferidos pelo verificador de tipo. Isso também fornece uma melhor inferência para os tipos de caseexpressões e significa que menos anotações são necessárias nas declarações de interface;
Melhor implementação de verificador de tipo que minimiza a necessidade de avaliação do tempo de compilação;
Novo back-end baseado no esquema Chez que compila e roda mais rápido do que o back-end Idris 1 padrão. (Além disso, opcionalmente, Racket e Gambit podem ser usados ??como alvos);
Tudo funciona mais rápido.

O Idris 2 ainda está em desenvolvimento. Por enquanto, o objetivo deste pacote de snap é fornecer uma maneira descomplicada para os usuários do Idris se manterem atualizados com o desenvolvimento do Idris 2, fornecendo compilações instantâneas noturnas.

Instalando o Idris 2 no Ubuntu, Kubuntu, Xubuntu e derivados!

Para instalar o Idris 2 no Ubuntu Linux. Inclusive você também pode instalar o Idris 2 no Linux Mint sem nenhum problema execute o comando abaixo:

sudo snap install idris2 –beta –classic

Instalando o Idris 2 no Fedora e derivados!

Para instalar o Idris 2 no Fedora, execute os comandos abaixo. Lembrando que caso você já tenha o suporte ao Snap habilitado no Fedora, pule para o passo 3, o de instalação do pacote:

Passo 1 – Instalar o Snapd:

sudo dnf install snapd

Após executar o comando acima, lembre-se encerrar a sessão ou reiniciar o computador! Em seguida, vamos criar um link simbólico para ativar o suporte ao Snap clássico:

Passo 2 – Criar link simbólico:

sudo ln -s /var/lib/snapd/snap /snap

E agora, vamos executar o comando para instalar o Idris 2 no Fedora ou derivados:

Passo 3 – Agora vamos executar o comando para instalar o Idris 2 no Fedora ou derivados:

sudo snap install idris2 –beta –classic

Instalando o Idris 2 no Debian e derivados!

Para instalar o Idris 2 no Debian, execute os comandos abaixo. Caso você já tenha Snap ativado e habilitado no seu Debian, pule para o passo 2, que seria da instalação:

Passo 1 – Atualizar os repositório e instalar o Snapd:

apt update

apt install snapd

E agora, vamos executar o comando para instalar o Idris 2 no Debian ou derivados. Observe que o comando abaixo está com o sudo, caso você não o tenha habilitado, remova o sudo e instalar usando o ROOT mesmo:

Passo 2 – Agora vamos executar o comando para instalar o Idris 2 no Debian e derivados:

sudo snap install idris2 –beta –classic

É isso, esperamos ter ajudado você a instalar o Idris 2 no Linux!