# ats2-postiats を Homebrew でインストール 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/ja/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/ja/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/ja/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/ja/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [idris2](https://www.automicvault.com/ja/pkg/brew/idris2/) - Shares av.db curated category or tags: cli, compiler, dependent-types, language-runtime, programming-language. - [agda](https://www.automicvault.com/ja/pkg/brew/agda/) - Shares av.db curated category or tags: cli, dependent-types, language-runtime, programming-language. - [algol68g](https://www.automicvault.com/ja/pkg/brew/algol68g/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [ballerina](https://www.automicvault.com/ja/pkg/brew/ballerina/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [chapel](https://www.automicvault.com/ja/pkg/brew/chapel/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [coconut](https://www.automicvault.com/ja/pkg/brew/coconut/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [coffeescript](https://www.automicvault.com/ja/pkg/brew/coffeescript/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [crystal](https://www.automicvault.com/ja/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