Este é o aplicativo do Windows chamado koka cuja versão mais recente pode ser baixada como v2.4.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 koka 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 qualquer emulador on-line OS OnWorks a partir deste site, mas um emulador on-line melhor do Windows.
- 5. No sistema operacional OnWorks Windows 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 e instale-o.
- 7. Baixe o Wine de seus repositórios de software de distribuição Linux. Depois de instalado, você pode clicar duas vezes no aplicativo para executá-lo com o Wine. Você também pode experimentar o PlayOnLinux, uma interface sofisticada do Wine que o ajudará a instalar programas e jogos populares do Windows.
Wine é uma forma de executar software Windows no Linux, mas sem a necessidade de Windows. Wine é uma camada de compatibilidade do Windows de código aberto que pode executar programas do Windows diretamente em qualquer desktop Linux. Essencialmente, o Wine está tentando reimplementar o suficiente do Windows do zero para que possa executar todos os aplicativos do Windows sem realmente precisar do Windows.
SCREENSHOTS
Ad
coca-cola
DESCRIÇÃO
Koka é uma linguagem de estilo funcional fortemente tipada com tipos de efeito e manipuladores. O núcleo do Koka consiste em um pequeno conjunto de recursos de linguagem bem estudados, como funções de primeira classe, um sistema polimórfico de tipos e efeitos, tipos de dados algébricos e manipuladores de efeitos. Cada um deles pode ser composto e evita a adição de extensões “especiais” sendo o mais geral possível. Koka rastreia os efeitos (colaterais) de cada função em seu tipo, onde se distinguem computações puras e efetivas. A digitação precisa do efeito dá a Koka uma semântica sólida apoiada por uma teoria de categoria bem estudada, o que torna Koka particularmente fácil de raciocinar tanto para humanos quanto para compiladores. Manipuladores de efeitos permitem definir abstrações de controle avançadas, como exceções, async/await ou programas probabilísticos, como uma biblioteca de usuário de maneira digitada e combinável. Perceus é um método de compilação avançado para contagem de referência.
Funcionalidades
- Instale o Koka e compile seus primeiros programas
- O núcleo do Koka consiste em um pequeno conjunto de recursos de linguagem bem estudados
- Koka é uma linguagem de estilo funcional fortemente tipada com tipos de efeitos e manipuladores
- Compilador e interpretador de linguagem
- Perceus é um método de compilação avançado para contagem de referência
- Koka rastreia os efeitos (colaterais) de cada função em seu tipo
Linguagem de Programação
Haskell
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/koka.mirror/. Ele foi hospedado em OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.