# ats2-postiats mit Homebrew installieren Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für ats2-postiats in AI-Agent-Workflows. ## Installation ```sh sudo av install brew:ats2-postiats ``` Weitere Installationsbefehle: ### macOS - Homebrew (100%): ```sh brew install ats2-postiats ``` Evidenz: local Homebrew formula metadata ## Paketfakten - **Paketschlüssel:** brew:ats2-postiats - **Paketmanager:** Homebrew - **Paketmanager-Seite:** - **Version:** 0.4.2 - **Quellzusammenfassung:** Programming language with formal specification features - **Homepage:** - **Repository:** - **Upstream-Dokumentation:** - **Lizenz:** GPL-3.0-only - **Quellarchiv:** - **Generiert:** 2026-07-08T07:18:31+00:00 ## Executables - myatscc (cli) - patscc (cli) - patsopt (cli) - myatscc (Alias) - patscc (Alias) - patsopt (Alias) ## Abhängigkeiten - gmp ## Installationsverhalten - Post-install-Hook: nicht definiert - Bottle: verfügbar auf arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## Version und Aktualität - Seite generiert: 2026-07-08 - Manager-Version: 0.4.2 - lokale Daten: OK - Upstream-Repository: https://www.cs.bu.edu/~hwxi/atslangweb/ - Info: No package-manager update timestamp was available. - Info: Release/tag comparison is only available for GitHub repositories. ## Projektgeschichte und Nutzung 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. ### Projektgeschichte 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. ### Adoptionsgeschichte 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. ### Wie es verwendet wird 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. ### Warum Paket-Nerds sich dafür interessieren 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. ### Zeitleiste - 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. ### Quellen - Official ATS language Home and Documents pages. - Official ATS2/Postiats README. - Official SourceForge project RSS feed. ## Sicherheitshinweise generalized runtime or code generation signal. - **Geiger-Risiko:** yellow / mittel - generalized runtime or code generation signal ## Details aus der Quelldatenbank - **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 ## Verwandte Links - [Secret-risk packages](https://www.automicvault.com/de/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/de/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/de/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/de/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [idris2](https://www.automicvault.com/de/pkg/brew/idris2/) - Shares av.db curated category or tags: cli, compiler, dependent-types, language-runtime, programming-language. - [agda](https://www.automicvault.com/de/pkg/brew/agda/) - Shares av.db curated category or tags: cli, dependent-types, language-runtime, programming-language. - [algol68g](https://www.automicvault.com/de/pkg/brew/algol68g/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [ballerina](https://www.automicvault.com/de/pkg/brew/ballerina/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [chapel](https://www.automicvault.com/de/pkg/brew/chapel/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [coconut](https://www.automicvault.com/de/pkg/brew/coconut/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [coffeescript](https://www.automicvault.com/de/pkg/brew/coffeescript/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [crystal](https://www.automicvault.com/de/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) ## Quellen - 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