Summary
ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. ATS2 extends ATS with an advanced template system, allowing functional programming to be employed in a setting where only bare minimal run-time support is available. In addition, the template system makes ATS2 highly suitable for supporting numerical computation.
Versions
v0.4.2-r1 :: 0/0.4.2 :: gentoo
- Modified
- License
- GPL-3+
- Keywords
- ~amd64 ~x86
- USE flags
- emacs
USE flags
General
- emacs
- Add support for GNU Emacs
Dependencies
app-editors / emacs : The extensible, customizable, self-documenting real-time display editor
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Runtime Dependencies
app-editors / emacs : The extensible, customizable, self-documenting real-time display editor
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Bugs
- 947495
- dev-lang/ats2-0.4.2-r1 - [meson] install: cannot create regular file patsopt: No such file or directory
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/ats2: patch make sub-call; fix AR
Closes: https://bugs.gentoo.org/942204 Closes: https://bugs.gentoo.org/942050 Closes: https://bugs.gentoo.org/923881 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/ats2: tweak SRC_URI
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/ats2: use 1 job for install
Closes: https://bugs.gentoo.org/942145 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/ats2: patches to Makefile and misc ones from Debian
Two patches come from the Debian's ATS2 package, that is: "deprecated-cl-package" and "prelude-function-prototypes". Bug: https://bugs.gentoo.org/923881 Closes: https://bugs.gentoo.org/920639 Closes: https://bugs.gentoo.org/941105 Closes: https://bugs.gentoo.org/917412 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/ats2: new package; add 0.4.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>