# 使用 Homebrew 安装 ats2-postiats

查看 ats2-postiats 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:ats2-postiats
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install ats2-postiats
```

  证据: local Homebrew formula metadata

## 软件包事实

- **软件包键:** brew:ats2-postiats
- **软件包管理器:** Homebrew
- **版本:** 0.4.2
- **来源摘要:** Programming language with formal specification features
- **主页:** <https://www.cs.bu.edu/~hwxi/atslangweb/>
- **已生成:** 2026-08-03T19:37:03+00:00

## 可执行文件

- myatscc (别名)
- patscc (别名)
- patsopt (别名)

## 安装行为

- Bottle: 不可用

## 版本和新鲜度

- 页面生成时间: 2026-08-03
- 管理器版本: 0.4.2
## 项目历史与用法

ATS2/Postiats is the compiler implementation of ATS2, a statically typed programming language that combines practical systems programming with formal specification, dependent types, linear types, and theorem-proving-oriented programming.

### 项目历史

The official ATS2/Postiats README says ATS/Postiats, also called ATS2/Postiats, is the current compiler for ATS2 and the successor to ATS1. Its implementation began in March 2011 and took about two and a half years to reach the first ATS2 release at the beginning of September 2013.

The README also states that the ATS2 compiler code base was more than 180,000 lines and nearly all written in ATS1. Compared with ATS1, it identifies ATS2's template system as the most important new feature, and notes that ATS2 is leaner, needing no compiled libatslib.a for ordinary use and removing ATS1's built-in GC support in favor of third-party collectors when needed.

The official ATS language site frames ATS more broadly as a language rooted in Applied Type System, with dependent and linear types, C/C++-level efficiency goals, functional, imperative, concurrent, and modular programming styles, and an ATS/LF subsystem for programmer-centric verification.

### 采用历史

ATS2/Postiats adoption is niche but serious: it appears in Homebrew as a compiler package, the official site maintains books, tutorials, examples, libraries, papers, mailing lists, and community links, and the README encourages users to install official SourceForge releases rather than treating the GitHub tree as the primary end-user distribution.

SourceForge release feeds show the 0.4.x line distributed as multiple tarballs, including core, include, contrib, gmp, and int packages. That packaging split matters to language-package maintainers because ATS2 is both a compiler and a small ecosystem of generated C, libraries, headers, and contributed code.

### 使用方式

Homebrew installs the user-facing compiler commands `patscc`, `patsopt`, and `myatscc`. `patsopt` is the compiler front end/optimizer, while `patscc` is commonly used as the compile-and-link driver for ATS2 programs that generate C and then build native executables.

The official documentation set is book-oriented rather than man-page-oriented. It includes an introduction to programming in ATS, a tutorial on ATS programming features, examples, libraries, and community pages, reflecting a language with a steep type-system learning curve rather than a self-explanatory single binary.

### 为什么软件包爱好者会关心

ATS2/Postiats is package-nerd significant because it is a self-hosting-adjacent research language implementation: ATS2 is implemented mostly in ATS1, ships as source releases with compiler, include, contrib, and GMP/integer variants, and emits C as part of its practical systems-programming story.

It also represents a different kind of package from most Homebrew CLIs. Installing it gives access to a full experimental language system whose value depends on documentation, examples, generated C integration, and the availability of the prior ATS toolchain lineage.

### 时间线

- 2011-03: ATS2/Postiats implementation started, according to the official README.
- 2013-09: First ATS2 release reached after roughly two and a half years of implementation.
- 2019-12: SourceForge feed shows ATS2/Postiats 0.4.0 release artifacts.
- 2020-08: SourceForge feed shows ATS2/Postiats 0.4.1 release artifacts.
- 2020-11: SourceForge feed shows ATS2/Postiats 0.4.2 release notes and component tarballs.
- 2021-06: SourceForge feed shows ATS2/Postiats 0.4.2 tarballs uploaded.

### Related projects

- Related official projects and lineages include ATS1/Anairiats, ATS2-contrib, ATS2-include, ATS/LF, atscc2js, atscc2php, and the broader ATS language documentation and examples hosted on the ATS site.

### 来源

- Official ATS language Home and Documents pages.
- Official ATS2/Postiats README.
- Official SourceForge project RSS feed.


## 安全说明

generalized runtime or code generation signal.

- **Geiger 风险:** yellow / 中
- generalized runtime or code generation signal


## Combined YAML source

View the package source record on GitHub. [combined/ats2-postiats.yml](https://github.com/mxcl/pkgdb/blob/main/combined/ats2-postiats.yml)


## 来源

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- cross-ecosystem install command graph