BSD Portslang/ats2 0.4.2nb1 NetBSD
Functional programming language with dependent types
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- Last update
- Commit
a92239bb4c- License
- gnu-gpl-v3
- Categories
- lang
- Package size
- 1202.7 KiB, 8491.4 KiB installed
Description
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.
In addition, ATS contains a subsystem ATS/LF that supports a form of (interactive) theorem-proving, where proofs are constructed as total functions. With this subsystem, ATS is able to advocate a programmer-centric approach to program verification that combines programming with theorem-proving in a syntactically intertwined manner. Furthermore, ATS/LF can also serve as a logical framework (LF) for encoding various formal systems (such as logic systems and type systems) together with proofs of their (meta-)properties.
Install
Binary package:
pkgin install ats2From pkgsrc:
cd /usr/pkgsrc/lang/ats2 && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 0.4.2nb1 |
| NetBSD 10.1 aarch64 | 0.4.2nb1 |
| SmartOS / illumos x86_64 | - |
| macOS 15 arm64 | 0.4.2nb1 |
Dependencies
No port depends on this one.