Gentoo Packages

Search

Install

Install this package:

emerge -a dev-lang/ats2

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask dev-lang/ats2

Or alternatively:

emerge --autounmask-write -a dev-lang/ats2

Package Information

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. 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.

Homepage:

https://www.cs.bu.edu/~hwxi/atslangweb/ https://sourceforge.net/projects/ats2-lang/

License:

GPL-3+

Versions

Metadata

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. 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.

Maintainers

• Maciej Barć (xgqt@gentoo.org) - Type: person

Upstream

• Remote IDs:
  • sourceforge: ats2-lang

<pkgmetadata>
	<maintainer type="person">
		<email>xgqt@gentoo.org</email>
		<name>Maciej Barć</name>
	</maintainer>
	<longdescription>
    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.
  </longdescription>
	<upstream>
		<remote-id type="sourceforge">ats2-lang</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] USE flag 'emacs' in ebuild 0.4.2-r1 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild ats2-0.4.2-r1

USE Flags

Manage flags for this package: euse -i <flag> -p dev-lang/ats2 | euse -E <flag> -p dev-lang/ats2 | euse -D <flag> -p dev-lang/ats2

Files

• 50ats2-gentoo.el
• ats2-0.4.2-makefile_dist.patch

Manifest