Пакет: ats2-lang (0.4.2-1.1 и другие)
Ссылки для ats2-lang
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код ats2-lang:
Сопровождающий:
Внешние ресурсы:
- Сайт [www.ats-lang.org]
Подобные пакеты:
ATS version 2 programming language compiler
ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.
In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties.
This package contains the compiler patsopt and the frontend patscc.
Другие пакеты, относящиеся к ats2-lang
|
|
|
|
-
- dep: libc6 (>= 2.33) [не alpha, ia64, riscv64]
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
- dep: libc6 (>= 2.34) [riscv64]
-
- dep: libc6.1 (>= 2.29) [ia64]
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6.1-udeb
- dep: libc6.1 (>= 2.33) [alpha]
-
- dep: libgc-dev
- conservative garbage collector for C (development)
Загрузка ats2-lang
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
alpha (неофициальный перенос) | 0.4.2-1.1 | 1 101,0 Кб | 9 572,0 Кб | [список файлов] |
amd64 | 0.4.2-1.1 | 1 123,2 Кб | 8 890,0 Кб | [список файлов] |
arm64 | 0.4.2-1.1 | 1 071,5 Кб | 8 937,0 Кб | [список файлов] |
armel | 0.4.2-1.1 | 1 011,8 Кб | 8 536,0 Кб | [список файлов] |
armhf | 0.4.2-1.1 | 1 033,2 Кб | 8 099,0 Кб | [список файлов] |
hppa (неофициальный перенос) | 0.4.2-1.1 | 1 016,9 Кб | 8 708,0 Кб | [список файлов] |
i386 | 0.4.2-1.1 | 1 176,3 Кб | 9 233,0 Кб | [список файлов] |
ia64 (неофициальный перенос) | 0.4.0-1 | 1 158,7 Кб | 10 969,0 Кб | [список файлов] |
m68k (неофициальный перенос) | 0.4.2-1.1 | 1 071,1 Кб | 8 803,0 Кб | [список файлов] |
mips64el | 0.4.2-1.1 | 1 108,2 Кб | 9 830,0 Кб | [список файлов] |
ppc64 (неофициальный перенос) | 0.4.2-1.1 | 1 159,8 Кб | 10 146,0 Кб | [список файлов] |
ppc64el | 0.4.2-1.1 | 1 166,3 Кб | 9 760,0 Кб | [список файлов] |
riscv64 | 0.4.2-1.1+b1 | 1 185,7 Кб | 8 895,0 Кб | [список файлов] |
s390x | 0.4.2-1.1 | 1 072,7 Кб | 9 082,0 Кб | [список файлов] |
sh4 (неофициальный перенос) | 0.4.2-1.1 | 1 140,2 Кб | 8 583,0 Кб | [список файлов] |
sparc64 (неофициальный перенос) | 0.4.2-1.1 | 964,2 Кб | 8 623,0 Кб | [список файлов] |
x32 (неофициальный перенос) | 0.4.2-1.1 | 1 128,5 Кб | 8 834,0 Кб | [список файлов] |