Elixir Lang

Elixir 编程语言官网，基于 Erlang VM 的函数式编程语言，用于构建可扩展、可维护的应用。

Elixir v1.20 发布：正式成为渐进类型语言

Elixir v1.20 正式发布，最大亮点是无须类型注解即可对所有 Elixir 程序执行类型推断与渐进类型检查，能自动发现死代码和已验证的运行时错误，误报率极低。文章详细解释了核心设计：dynamic 类型不同于其他语言的 any，它兼容且可被精化，仅当类型完全不相交时才报错；同时支持 guard、case 子句间的类型窄化，以及标准库中元组/地图的类型标注。此外，新版在多核机器上编译速度进一步提升，并新增:interpreted 编译模式。文章还预告了接下来的研究方向：递归类型、参数多态、地图键值遍历等，待解决后将推出类型签名与 struct 类型定义。对于 Elixir 开发者来说，这是一篇信息密度极高的里程碑公告，兼具技术深度和实用价值。

收藏73 天前

结合急切字面量差异的惰性 BDD 优化

Elixir 官方博客详解类型系统交集运算优化：当多个结构体类型的联合（如 %Foo | %Bar | %Baz | %Bat）与单个结构体取交集时，传统惰性 BDD 虽然能表示任意深度的集合运算，但在此类场景下存在性能瓶颈。文章提出"急切字面量差异"方法，在惰性 BDD 框架内提前剪枝不可能路径，缩小搜索空间，从而加速类型检查。适合对函数式语言编译器、类型系统或集合论类型感兴趣的技术读者。

收藏150 天前

带急切字面量交集的惰性二元决策图

Elixir语言官方博客详解其集合论类型系统从DNF（析取范式）转向Lazy BDD（惰性二元决策图）后的关键优化——"急切字面量交集"策略。文章以具体类型运算为例，对比了DNF在处理联合类型交集时立即扁平化的局限性，即(foo or bar) and (baz or bat)这种表达会直接展开，导致表示膨胀。Lazy BDD配合eager literal intersections在保持类型表达能力的同时提升了运算效率，是类型系统工程实现中一次扎实的权衡决策分享。适合对函数式编程语言类型系统实现、编译器设计感兴趣的开发者深入阅读。

收藏171 天前

所有语言构造的类型推断及未来 15 个月路线图

Elixir 官方在首次提交 15 周年之际，发布 v1.20 首个 RC 版本，核心能力是对全部语言构造进行类型推断（基于集合论类型系统），精度逐步提升。这篇文章由核心团队撰写，详解了这一里程碑的具体含义，并给出了未来 15 个月的语言演进路线图。对 Elixir 开发者而言这是一手权威信息，有实质技术细节和明确的讨论入口，不是空泛的趋势解读。

收藏219 天前

Elixir: Dynamic, functional language for building scalable and maintainable apps

收藏255 天前

惰性二叉决策图：Elixir 集合论类型系统的高效实现

Elixir 团队与 CNRS 在 Elixir v1.19 中为集合论类型系统引入了惰性二叉决策图（Lazy BDD）方案，用于高效表示并集、交集与否定类型操作。文章从理论与实践两条线索梳理了现有 BDD 方案的优劣，并重点介绍了团队自己做的改进：通过惰性求值策略减少冗余计算，在保持类型检查完备性的同时提升性能。这是一个来自一线核心实现者的工程实录，包含具体的方法对比和设计取舍，不是泛泛的趋势介绍。适合对类型系统实现、函数式语言编译器优化感兴趣的开发者深入阅读。

收藏257 天前

Elixir v1.19 正式发布：类型检查增强，大型项目编译速度最高提升 4 倍

Elixir 1.19 版本正式发布，核心看点：类型系统迎来两项重要增强——匿名函数类型推断和协议类型检查，官方称这些改进突破了现有文献范畴，涉及新理论和技术开发；同时大型项目编译速度最高可提升 4 倍。技术细节将在后续文章中展开。这是 Elixir 官方团队的版本公告，对 Elixir 开发者有直接参考价值，但内容偏官方发布风格，缺少个人视角和讨论入口。

收藏304 天前

2025 年的互操作性：超越 Erlang VM

从历史上看，Erlang 虚拟机为与其他语言和生态系统实现互操作提供了三种主要方案，且各自具有不同程度的隔离性：NIF（原生实现函数）通过 C 绑定与第三方代码在相同的内存空间中进行集成。这种方式具有低开销和最佳性能的特点，但同时也意味着错误的代码可能会导致整个虚拟机崩溃，从而绕过 Erlang 的部分容错保障。端口会启动一个独立的操作系统进程来实现通信。

收藏363 天前

参与全球 Elixir 聚会周活动

官方 Elixir 博客发文宣布启动 Global Elixir Meetups（GEMs）社区聚会周，首届于 9 月 22-28 日举行，最终在全球六大洲举办了 46 场线下聚会，旨在促进新老本地社区围绕 Elixir 语言及 Erlang VM 展开交流。全文为组织方通稿式活动公告，仅提及基础数据和致谢，缺少具体议程、参会者视角、经验复盘或讨论入口，信息密度低。

收藏376 天前

Elixir 外展计划：为演讲者和培训师提供差旅津贴

Elixir 官方联合 Dashbit、Oban 及 Erlang 生态系统基金会（EEF）推出为期 12 个月的试点计划「Elixir Outreach」，为前往其他技术社区演讲 Elixir/Erlang 的社区成员报销住宿和交通费用，最高 7000 美元。这是一个面向 Elixir/Erlang 推广者的实际资金支持项目，适合有意跨社区分享的技术人关注申请条件与流程。

收藏440 天前

Cyanview：用 Elixir 统一超级碗直播的 200 多台摄像机画面

超级碗转播动用两百多台摄像机，如何保证每一路信号的草地颜色和肤色完全一致？答案是摄像师调色（camera shading）：逐台校正色彩、曝光等参数，让所有画面在观众眼中是连贯统一的。本文以 Elixir 官方博客的案例形式，介绍 Cyanview 如何利用 Elixir 编程语言构建摄像机调色系统，解决多机位直播中画面一致性的工程难题。内容涉及具体的技术挑战（色彩匹配、曝光协调）和 Elixir 在实时视频处理场景下的优势，适合对直播技术、函数式编程实际落地感兴趣的读者。

收藏509 天前

Elixir 项目正式通过 OpenChain 认证

Elixir 编程语言官方宣布其项目已通过 OpenChain（ISO/IEC 5230）国际开源许可合规标准认证，成为符合该供应链与网络安全最佳实践的开源项目之一。OpenChain 总经理 Shane Coughlan 称此为社区成熟度的又一重要例证。该认证对使用 Elixir 的企业用户具有一定合规参考价值，但公告本身为项目官方通稿，内容简短，无个人视角、争议观点或可讨论的切入点，属于信息型新闻而非引发互动的内容。

收藏536 天前

Remote：用 Elixir 从零增长到独角兽

Elixir 官方博客发布 Remote 公司的技术案例研究。Remote 是一家一站式全球雇佣平台，2019 年创立，两年多达到独角兽估值，工程团队近 300 人，自成立起就以 Elixir 为主技术栈。文章是 Elixir 生产环境案例系列的一部分，介绍 Remote 选择 Elixir 的背景与效果。内容偏向官方宣传口吻，信息价值有限，缺少一手技术细节或个人视角的深度经验，更像生态推广而不是可独立引用的知识沉淀。

收藏572 天前

Elixir v1.18 正式发布：函数调用类型检查、LSP 监听器、内置 JSON 支持等

Elixir 1.18 正式版本发布公告，涵盖四大更新方向：类型系统方面新增函数调用类型检查与模式返回类型推断，持续推进集合论类型系统落地；LSP 方面加入监听器支持，改善语言服务器协议的可扩展性；标准库新增内置 JSON 编解码支持；单元测试库也补充了新能力。官方博客对每个特性给出了技术细节与示例。作为项目官方发布说明，信息准确、一手，对 Elixir 开发者有明确参考价值，但整体为机构公告文体，缺乏个人叙事与观点，讨论入口有限，推荐排序不宜过高。

收藏605 天前

Elixir 中列表和元组的类型系统设计

Elixir 官方团队正在为其语言构建一套可靠的渐进类型系统，本文是该系列的技术设计说明之一，聚焦于列表和元组的类型标注方案。文章解释了为何列表采用「list(type)」表示可变长度容器、而元组使用固定长度的精确类型，以及这套系统如何与 Erlang 互操作、如何兼容既有动态代码。对于关注函数式语言类型系统设计、或关心 Elixir 工程进展的开发者，是一篇有实质内容的技术公告，包含具体的类型规则和设计取舍讨论。

收藏718 天前

Elixir 官方语言服务器团队正式成立

Elixir 官方宣布成立语言服务器团队，四位成员（Jonatan Kłosko、Łukasz Samson、Mitch Hanberg、Steve Cohen）将共同推进代码智能工具建设。同时推出代号 Expert 的新语言服务器，目前处于开源 Alpha 阶段。项目赞助由 Erlang 生态系统基金会接管，企业可直接联系基金会 Dan Janowski 洽谈赞助事宜。这是 Elixir 生态中语言服务器从碎片化走向官方统一的重要信号，对 Elixir 开发者来说值得关注后续进展，但当前阶段实用信息有限。

收藏731 天前

Elixir v1.17 发布：引入集合论类型、日历时间区间及 Erlang/OTP 27 支持

Elixir 官方宣布 v1.17 正式发布，核心亮点是在部分语言结构中引入了渐进式集合论类型系统（set-theoretic types），目前虽处于早期阶段，但已能对常见错误提供新警告，是 Elixir 类型系统演进的重要里程碑。该版本同时支持最新的 Erlang/OTP 27，新增日历时间区间（Duration）数据类型和 Date.shift/2 函数。适合关注函数式编程、Erlang/OTP 生态或类型系统进展的开发者阅读，官方博客有详细技术说明。

收藏795 天前

Veeps 如何用 Elixir 将直播服务扩展到数十万并发观众

技术类案例研究，来自 Elixir 官方博客的系列报道。介绍 Veeps（隶属 Live Nation，曾获艾美奖提名、吉尼斯世界纪录）如何利用 Elixir/Erlang 技术栈处理数十万级并发直播观众。文章包含真实生产环境中的架构选型、伸缩挑战与解决方案。适合对后端技术、流媒体架构或 Elixir 实战感兴趣的工程师阅读。但全文为官方博客的推广性案例，缺少个人视角与争议性观点，叙述风格偏机构通稿。

收藏894 天前

Elixir v1.16 正式发布

Elixir 1.16 正式发布，核心更新围绕开发者体验提升：编译器诊断功能大幅增强，新增代码片段内嵌展示和多错误并行输出；文档体系全面升级，补充了使用指南、反模式案例和架构图等多种形式内容。新版本保持语言稳定兼容，没有破坏性变更。对 Elixir 开发者有明确的信息参考价值，但这是一篇官方版本发布通稿，行文为标准的特性罗列，缺乏个人观点、真实使用场景或讨论切入点。

收藏968 天前

强箭头（Strong Arrows）：Elixir渐进类型化的新方法

Elixir语言类型系统迎来新进展：用集合论方法解决渐进类型化难题。基于ElixirConf 2023主题演讲，CNRS资深研究员Giuseppe Castagna主导、博士生Guillaume Duboc参与的研究团队，正在为Elixir设计一套基于集合论的类型系统。本文从渐进类型化的角度切入，介绍该方案的核心思路与技术方向——"Strong Arrows"方法，旨在让静态类型检查与动态灵活性更好共存。适合对类型系统、函数式编程或Elixir语言发展感兴趣的开发者阅读，是一篇有真实研究背景的技术入门文章。

收藏1061 天前

Elixir 类型系统更新：从研究阶段进入开发阶段

Elixir 语言创始人 José Valim 亲自撰文，总结历时一年的类型系统研究阶段成果，并宣布正式进入开发阶段。研究由 CNRS 高级研究员 Giuseppe Castagna 主导、Guillaume Duboc 攻读博士期间执行。文章详细介绍了选型方向：基于集合论类型系统（set-theoretic types），支持联合类型、交集类型、以及渐进类型化（gradual typing），目标是既保留 Elixir 的动态灵活性，又在需要时提供可靠的静态分析能力。文中给出了具体的技术决策理由、与现有 BEAM 生态的兼容性考虑，以及后续开发时间线。这是 Elixir 社区近年最核心的技术演进之一，信息来自核心团队一手披露，对关注函数式语言、类型系统设计或 BEAM 生态的读者有直接参考价值。

收藏1151 天前

Elixir v1.15 正式发布

Elixir v1.15 发布，重点优化编译与启动速度，并与 Erlang/OTP logger 完成集成，新增日志轮转和压缩等开箱即用功能。Code、Map、Keyword 及全部 Calendar 模块新增了便捷函数。Jean Klingler 加入 Elixir 核心团队。该版本规模较小，聚焦底层改进。适合 Elixir 开发者了解版本更新要点。

收藏1154 天前