# frege を Homebrew でインストール frege のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。 ## インストール ```sh sudo av install brew:frege ``` 追加のインストールコマンド: ### macOS - Homebrew (100%): ```sh brew install frege ``` 証拠: local Homebrew formula metadata ## パッケージ情報 - **パッケージキー:** brew:frege - **パッケージマネージャ:** Homebrew - **パッケージマネージャページ:** - **バージョン:** 3.24.405 - **ソース概要:** Non-strict, functional programming language in the spirit of Haskell - **ホームページ:** - **リポジトリ:** - **上流ドキュメント:** - **ライセンス:** BSD-3-Clause - **ソースアーカイブ:** - **生成日時:** 2026-08-04T22:13:35+00:00 ## 実行可能ファイル - fregec (cli) - fregec (エイリアス) ## 依存関係 - openjdk ## インストール挙動 - post-install フック: 未定義 - Bottle: 利用可能 対象 all ## バージョンと鮮度 - ページ生成日: 2026-08-04 - マネージャ版: 3.24.405 - ローカルデータ: OK - 上流リポジトリ: https://github.com/Frege/frege - 情報: No package-manager update timestamp was available. - 情報: No cached GitHub release or tag data was available. ## プロジェクトの歴史と使われ方 Frege is a non-strict, purely functional programming language for the JVM, described by its maintainers as a Haskell for the JVM. It compiles Frege modules to Java-compatible class files, runs on the JVM, and is designed to interoperate with Java libraries while preserving Haskell-style purity, laziness, type inference, algebraic data types, and type classes. ### プロジェクトの歴史 The project is named after the logician Gottlob Frege. Its public repository and release history show an active 3.x compiler line in the mid-2010s, with published builds around the 3.21 series in 2013-2014, 3.22 and 3.23 releases in 2015, a Java 8 compiler alpha in 2016, and public 3.24 and 3.25 alpha artifacts in 2018. Frege's own README emphasizes a self-hosting culture around the language: the compiler, standard library, command-line REPL, web REPL, Eclipse plugin, and documentation tool are described as being written in Frege or part of the Frege ecosystem. ### 採用の歴史 Frege was aimed at two adjacent communities: Java programmers who wanted a strongly typed, pure functional language without leaving the JVM, and Haskell programmers who wanted to reuse functional programming techniques in Java projects. The official README points to integrations and tooling for command-line use, Eclipse, VS Code, IntelliJ IDEA, Maven, Gradle, Leiningen, SBT, and Bazel. The README also records Frege as a winner of the JavaOne Emerging Languages Bowl in 2015, 2016, and 2017, which places it in the JVM language experimentation wave of that period. ### 使われ方 The main package-facing executable is `fregec`, the compiler. A small Frege module can compile to `.class` and `.java` output with a normal Java `main` method, and Frege code can expose pure functions callable from Java while using IO types for side effects. Common use is educational, experimental, or integration-oriented: trying Haskell-like code on the JVM, compiling small modules, exploring the REPLs, or building mixed Java/Frege projects through JVM build tools. ### パッケージ好きにとっての重要性 Frege matters to package collectors as a compact example of the post-Scala JVM language ecosystem: a Haskell-inspired compiler that ships as a command-line tool, depends on the JVM rather than a native runtime, and brings lazy functional semantics into Java packaging workflows. Its package metadata is also useful because it connects a language compiler, REPLs, IDE plugins, build plugins, and generated documentation under one ecosystem rather than a single binary. ### タイムライン - 2013: Public GitHub releases include Frege 3.21 builds. - 2015: Frege 3.22 and 3.23 releases are published; the project records a JavaOne Emerging Languages Bowl win. - 2016: A 3.24 alpha release targets a new compiler for Java 8. - 2018: Public 3.24 builds and 3.25 alpha jars are published. ### Related projects - Related Frege projects include the command-line REPL, online REPL, Eclipse plugin, VS Code support, Maven plugin, Gradle plugin, Leiningen plugin, SBT plugin, and Frege libraries such as QuickCheck-style testing tools. - Conceptually, Frege is related to Haskell, the JVM language family, Java build tooling, and other functional languages that target managed runtimes. ### ソース - - ## セキュリティノート generalized runtime or code generation signal. - **Geiger リスク:** yellow / 中 - generalized runtime or code generation signal ## ソースデータベース詳細 - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** frege - **Version Scheme:** 0 - **Revision:** 3 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## 関連リンク - [Source-control packages](https://pkg.so/ja/source-control-tools/) - Belongs to a source-control command family. - [Secret-risk packages](https://pkg.so/ja/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://pkg.so/ja/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://pkg.so/ja/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [openjdk](https://pkg.so/ja/brew/openjdk/) - Runtime dependency declared by Homebrew. - [kotlin](https://pkg.so/ja/brew/kotlin/) - Shares pkgdb curated category or tags: cli, compiler, jvm, language-runtime, programming-language. - [scala](https://pkg.so/ja/brew/scala/) - Shares pkgdb curated category or tags: cli, compiler, jvm, language-runtime, programming-language. - [ocaml](https://pkg.so/ja/brew/ocaml/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language. - [futhark](https://pkg.so/ja/brew/futhark/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language. - [faust](https://pkg.so/ja/brew/faust/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language. - [scala@2.12](https://pkg.so/ja/brew/scala-2-12/) - Shares pkgdb curated category or tags: cli, compiler, jvm, language-runtime, programming-language. - [scala@2.13](https://pkg.so/ja/brew/scala-2-13/) - Shares pkgdb curated category or tags: cli, compiler, jvm, language-runtime, programming-language. - [idris2](https://pkg.so/ja/brew/idris2/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language. - [frege-repl](https://pkg.so/ja/brew/frege-repl/) - Package names and metadata indicate a similar tool family. Shared terms: cli, frege, functional, functional-programming, jvm. - [clojurescript](https://pkg.so/ja/brew/clojurescript/) - Local package facts share a topical domain. Shared terms: cli, compiler, language, language-runtime, openjdk. - [flix](https://pkg.so/ja/brew/flix/) - Local package facts share a topical domain. Shared terms: cli, functional, functional-programming, jvm, language. ## Combined YAML source View the package source record on GitHub. [combined/frege.yml](https://github.com/mxcl/pkgdb/blob/main/combined/frege.yml) ## ソース - pkg.so package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - cross-ecosystem install command graph