使用 Homebrew 安装 frege-repl

项目链接

• 主页

命令和别名

• frege-repl

项目历史

The frege-repl repository was created in 2012 under the Frege organization. Its README documents interactive Frege evaluation, REPL commands, Gradle-based source builds, and the requirement for a JDK because Frege compiles through Java.

采用历史

The README says the REPL can be downloaded from frege-repl releases and, later, is included in Frege releases. Homebrew packages frege-repl separately and declares openjdk@17 as a dependency.

使用方式

Users run frege-repl to evaluate snippets and use commands such as :type, :browse, :java, :load, :history, :reset, :version, :help, and :quit. The broader Frege README positions Frege as Haskell for the JVM with Java interoperability.

为什么软件包爱好者会关心

For package-manager users, frege-repl is the interactive front door to a JVM language toolchain: it packages a language REPL plus JDK dependency rather than a standalone text utility, making dependency metadata and language-runtime classification important.

时间线

• 2012: frege-repl GitHub repository created.
• 2015-2017: Frege README reports JavaOne Emerging Languages Bowl wins for Frege.
• 2019: frege-repl repository last pushed according to GitHub metadata.
• 2026: Homebrew formula reports stable version 1.4-SNAPSHOT with openjdk@17 dependency.

Related projects

• Related official Frege projects include the Frege compiler, standard library, online REPL, FregeFX REPL, Eclipse plugin, VS Code plugin, and documentation tool.

来源

• https://api.github.com/repos/Frege/frege-repl
• https://formulae.brew.sh/api/formula/frege-repl.json
• https://github.com/Frege/frege
• https://github.com/Frege/frege-repl
• https://raw.githubusercontent.com/Frege/frege-repl/master/README.md
• https://www.frege-lang.org/doc/fregedoc.html