Este é o aplicativo Linux chamado Idris 2 cuja versão mais recente pode ser baixada como Version0.6.0.zip. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Idris 2 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 2
DESCRIÇÃO
No desenvolvimento orientado a tipos, os tipos são ferramentas para a construção de programas. Tratamos o tipo como o plano de um programa e usamos o compilador e o verificador de tipo como nosso assistente, guiando-nos para um programa completo que satisfaça o tipo. Quanto mais expressivo for o tipo que abrimos mão, mais confiança podemos ter de que o programa resultante será correto. Em Idris, os tipos são construções de primeira classe na linguagem. Isso significa que os tipos podem ser passados como argumentos para funções e retornados de funções como qualquer outro valor, como números, strings ou listas. Esta é uma ideia pequena, mas poderosa, permitindo que as relações sejam expressas entre os valores; por exemplo, que duas listas têm o mesmo comprimento. Suposições a serem explicitadas e verificadas pelo compilador. Por exemplo, se você presumir que uma lista não está vazia, Idris pode garantir que essa suposição sempre seja válida antes que o programa seja executado.
Funcionalidades
- se desejado, as propriedades do comportamento do programa devem ser formalmente declaradas e comprovadas
- Tipos são construções de primeira classe na linguagem
- Idris é uma linguagem de programação projetada para encorajar o Type-Driven Development
- Tratamos o tipo como o plano de um programa
- Use o compilador e o verificador de tipo como assistente
- Tipos podem ser passados como argumentos para funções
Linguagem de Programação
C
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/idris-2.mirror/. Ele foi hospedado em OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.