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.
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
case
expressõ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:
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:
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:
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:
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:
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:
É isso, esperamos ter ajudado você a instalar o Idris 2 no Linux!