# 使用 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 - **主页:** - **仓库:** - **上游文档:** - **许可证:** GPL-3.0-only - **源码归档:** - **已生成:** 2026-07-08T07:18:31+00:00 ## 可执行文件 - myatscc (cli) - patscc (cli) - patsopt (cli) - myatscc (别名) - patscc (别名) - patsopt (别名) ## 依赖 - gmp ## 安装行为 - post-install 钩子: 未定义 - Bottle: 可用 于 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## 版本和新鲜度 - 页面生成时间: 2026-07-08 - 管理器版本: 0.4.2 - 本地数据: OK - 上游仓库: https://www.cs.bu.edu/~hwxi/atslangweb/ - 信息: No package-manager update timestamp was available. - 信息: Release/tag comparison is only available for GitHub repositories. ## 项目历史与用法 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 ## 源数据库详情 - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** ats2-postiats - **Version Scheme:** 0 - **Revision:** 1 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## 相关链接 - [Secret-risk packages](https://www.automicvault.com/zh-hans/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/zh-hans/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/zh-hans/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/zh-hans/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [idris2](https://www.automicvault.com/zh-hans/pkg/brew/idris2/) - Shares av.db curated category or tags: cli, compiler, dependent-types, language-runtime, programming-language. - [agda](https://www.automicvault.com/zh-hans/pkg/brew/agda/) - Shares av.db curated category or tags: cli, dependent-types, language-runtime, programming-language. - [algol68g](https://www.automicvault.com/zh-hans/pkg/brew/algol68g/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [ballerina](https://www.automicvault.com/zh-hans/pkg/brew/ballerina/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [chapel](https://www.automicvault.com/zh-hans/pkg/brew/chapel/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [coconut](https://www.automicvault.com/zh-hans/pkg/brew/coconut/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [coffeescript](https://www.automicvault.com/zh-hans/pkg/brew/coffeescript/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [crystal](https://www.automicvault.com/zh-hans/pkg/brew/crystal/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. ## Combined YAML source View the package source record on GitHub. [combined/ats2-postiats.yml](https://github.com/automic-vault/db/blob/main/combined/ats2-postiats.yml) ## 来源 - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - cross-ecosystem install command graph