Automic VaultAutomic Vault

brew

Installer frege avec Homebrew

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de frege pour les workflows d'agents IA.

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install frege

local Homebrew formula metadata

aperçu

Résumé du paquet

Non-strict, functional programming language in the spirit of Haskell

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

  • 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.

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Classificateur de risque

risque yellow · confiance moyen · runtime

Pourquoi

  • generalized runtime or code generation signal

Signaux

  • text:programming language

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 1 plateformes.
  • S’installe avec 1 dépendances d’exécution.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
fregeccliexécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-25
version du gestionnaire3.24.405
gestionnaire mis à jour
données localesOK
amontnot checked
dernière version détectéenon détecté

https://github.com/Frege/frege

  • infoNo package-manager update timestamp was available.confiance faible
  • infoNo cached GitHub release or tag data was available.https://github.com/Frege/fregeconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:frege
Version3.24.405
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/frege
Page d'accueilhttps://github.com/Frege/frege/
Dépôthttps://github.com/Frege/frege
Docs amonthttps://github.com/Frege/frege#readme
LicenceBSD-3-Clause
Archive sourcehttps://github.com/Frege/frege/releases/download/3.24public/frege3.24.405.jar
Dépendancesopenjdk
Bouteilledisponible (sur all)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namefrege
Version Scheme0
Revision3
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • package relationship graph
  • package version freshness
  • package-page enrichment