macOS
brew install fregelocal Homebrew formula metadata
安装
brew install fregelocal Homebrew formula metadata
概览
Non-strict, functional programming language in the spirit of Haskell
历史
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.
安全态势
generalized runtime or code generation signal.
yellow 风险 · 中 置信度 · runtime
在无人值守的代理使用前,请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
fregec | cli | 全局可执行文件 |
新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时,才会提示版本落后。
https://github.com/Frege/frege
安装元数据
| 软件包键 | brew:frege |
|---|---|
| 版本 | 3.24.405 |
| 软件包管理器 | Homebrew |
| 软件包管理器页面 | https://formulae.brew.sh/formula/frege |
| 主页 | https://github.com/Frege/frege/ |
| 仓库 | https://github.com/Frege/frege |
| 上游文档 | https://github.com/Frege/frege#readme |
| 许可证 | BSD-3-Clause |
| 源码归档 | https://github.com/Frege/frege/releases/download/3.24public/frege3.24.405.jar |
| 依赖 | openjdk |
| Bottle | 可用 (于 all) |
| Homebrew post-install | 未定义 |
| 服务 | 未声明 |
注册表事实
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | frege |
| Version Scheme | 0 |
| Revision | 3 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
来源线索
此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。
View the package source record on GitHub.