A Statebox está a desenvolver uma tecnologia baseada em uma linguagem de programação visual. Não é uma linguagem de programação de propósito geral, mas uma focada em modelagem e execução de processos. A linguagem Statebox é construída usando uma abordagem de programação funcional que utiliza, entre outras coisas, teoria de categorias, redes de Petri, jogos abertos, programação lógica e criptografia.
Principais propriedades da linguagem Statebox:
- Abstração - o núcleo da linguagem é uma estrutura matematicamente minimalista destinada a facilitar o raciocínio sobre o seu comportamento;
- Composicionalidade - o trabalho inteiro é projetado a partir de uma perspectiva da teoria de categorias para aumentar a composicionalidade, o que é bem diferente da modularidade;
- Visual - uso de diagramas e redes de Petri para as suas propriedades de raciocínio computacional e diagramático;
- Correto por Construção - as provas de exatidão de ponta a ponta são um princípio fundamental de design, não uma reflexão tardia. De acordo com essa filosofia, preferimos uma linguagem restrita, sempre terminada (uma completa não-Turing).
Sem comentários:
Enviar um comentário
Comente de forma construtiva...
Nota: só um membro deste blogue pode publicar um comentário.