Package: ats-lang-anairiats-examples (0.2.11-1)

exemplos para o compilador Anairiats para a linguagem ATS

ATS é uma linguagem de programação com um sistema de tipos altamente expressivo enraizado na infraestrutura Applied Type System (Sistema de Tipos Aplicados). Em particular, tanto os tipos dependentes quanto os lineares estão disponíveis no ATS. A implementação atual do ATS (ATS/Anairiats) é escrita no próprio ATS. Ela pode ser tão eficiente quanto o C/C++ e dá suporte a uma variedade de paradigmas de programação.

Em adição, o ATS contém um componente ATS/LF que dá suporte a uma forma de prova (interativa) de teoremas, onde as provas são construídas como funções completas. Com este componente, o ATS defende um estilo de programação que combina programação com prova de teoremas. Além disso, este componente pode ser usado como infraestrutura lógica para codificar vários sistemas de dedução e suas (meta)propriedades.

Este pacote contém alguns exemplos da linguagem.

This page is also available in the following languages (How to set the default document language):