Categorias

o-android-13-tem-codinome-interno-vazado-a-aposta-agora-e-a-sobremesa-tiramisu

Android

Games

Notícias

Tutoriais Linux

Vídeos

Tutoriais Linux

07/06/2021 às 18:00

7 min leitura

Avatar Autor
Por Jardeson Márcio

Como instalar o Idris 2, uma linguagem de programação, no Ubuntu, Linux Mint, Fedora, Debian

como-instalar-o-idris-2-uma-linguagem-de-programacao-no-ubuntu-linux-mint-fedora-debian

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 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.

como-instalar-o-idris-2-uma-linguagem-de-programacao-no-ubuntu-linux-mint-fedora-debian

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!

Jardeson é Mestre em Tecnologia Agroalimentar e Licenciado em Ciências Agrária pela Universidade Federal da Paraíba. Entusiasta no mundo tecnológico, gosta de arquitetura e design gráfico. Economia, tecnologia e atualidade são focos de suas leituras diárias. Acredita que seu dia pode ser salvo por um vídeo engraçado.

Últimos artigos

Newsletter

Receba nossas atualizações!

Newsletter

Receba nossas atualizações!
  • Este campo é para fins de validação e não deve ser alterado.