Este é o aplicativo Linux chamado Idris-dev, cuja versão mais recente pode ser baixada como Release1.3.3sourcecode.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute on-line este aplicativo chamado Idris-dev com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
Idris-dev
DESCRIÇÃO
Idris‑dev é a versão de desenvolvimento do Idris 1, uma linguagem de programação funcional de uso geral com tipos dependentes completos, projetada para escrever programas e provas com tipagem segura dentro da própria linguagem. Ela compila em C e JavaScript (para Node.js e navegadores) e suporta geração de código por meio de backends substitutos.
Recursos
- Tipos dependentes completos permitindo que valores apareçam em tipos
- Verificação de totalidade para garantir que as funções estejam completas e terminando
- Geradores de código para C e JavaScript (navegador e Node.js)
- Suporta backends externos (por exemplo, JVM, CIL, LLVM) por meio de contribuições da comunidade
- Forte desenvolvimento orientado a tipos inspirado em assistentes de prova como Agda e Coq
- Mantido ativamente em paralelo com o desenvolvimento do Idris 2
Linguagem de Programação
Haskell
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/idris-dev.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.
