macOS
brew install flixlocal Homebrew formula metadata
安装
brew install flixlocal Homebrew formula metadata
nix profile install nixpkgs#flixnixpkgs package indexes · pkgs/by-name/fl/flix/package.nix · 来源: api.github.com
概览
Statically typed functional, imperative, and logic programming language
历史
Flix is a JVM-targeting programming language that combines functional, imperative, and logic programming. Its package-manager relevance comes from being a research-rooted language implementation distributed as a command-line compiler and toolchain.
The Flix documentation describes the language as developed at Aarhus University and by open-source contributors, in collaboration with researchers from the University of Waterloo, the University of Tubingen, and the University of Copenhagen. The public release stream on GitHub includes an October 2016 snapshot and a 2017 v0.1 release.
Flix is inspired by OCaml and Haskell, with ideas from Rust and Scala. Its implementation compiles to JVM bytecode, supports Java interoperability, and exposes language features such as a polymorphic type and effect system, region-based local mutable memory, effects and handlers, traits, and first-class Datalog programming.
Flix's adoption is centered on language experimentation, academic programming-language work, and developers interested in mixing typed functional programming with embedded Datalog. Official docs emphasize Visual Studio Code support that uses the real compiler for diagnostics, navigation, and refactoring.
The project is packaged for Homebrew and Nix in the supplied package facts, which makes the compiler available through general-purpose developer package managers rather than only through source builds.
Users install the flix command-line tool, write Flix programs, and run or compile them on the JVM. The official book presents the language as a full programming environment with Java interoperability and a VS Code extension tied directly to compiler behavior.
Because Flix includes first-class Datalog, it is often interesting to developers who want logic-programming style analysis inside a statically typed functional language rather than as a separate database or DSL.
Flix is package-nerd interesting because it packages a full language implementation with an active, frequent release cadence. It also sits at the intersection of compiler distribution, JVM runtime compatibility, editor tooling, and package-manager availability.
Its official releases show long-running pre-1.0 iteration, which is common for research-influenced language projects where the package artifact is also the primary vehicle for language design experiments.
安全态势
generalized runtime or code generation signal.
yellow 风险 · 中 置信度 · runtime
在无人值守的代理使用前,请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
flix | cli | 全局可执行文件 |
新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时,才会提示版本落后。
安装元数据
| 软件包键 | brew:flix |
|---|---|
| 版本 | 0.75.1 |
| 软件包管理器 | Homebrew |
| 软件包管理器页面 | https://formulae.brew.sh/formula/flix |
| 主页 | https://flix.dev/ |
| 仓库 | https://github.com/flix/flix |
| 上游文档 | https://doc.flix.dev/ |
| 许可证 | Apache-2.0 |
| 源码归档 | https://github.com/flix/flix/archive/refs/tags/v0.75.1.tar.gz |
| 最后更新 | 2026-07-09T08:38:03Z |
| Pulse | updated |
| 依赖 | openjdk |
| 构建依赖 | mill, scala |
| Bottle | 可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定义 |
| 服务 | 未声明 |
注册表事实
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | flix |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
源数据库匹配
匹配项来自外部软件包管理器索引,并与本地 Automic Vault 软件包链接分开显示。
flix
nix profile install nixpkgs#flix来源线索
此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。
View the package source record on GitHub.