NGXS Store 正式支持 Angular 18:状态管理新篇章
NGXS 团队近日发布了 v18.0.0 版本,这一重要更新为开发者带来了对 Angular 18 的全面支持。作为 Angular 生态系统中广受欢迎的状态管理解决方案,NGXS 此次更新标志着其与 Angular 最新技术栈的完美融合。
技术背景与意义
状态管理在现代前端开发中扮演着至关重要的角色,特别是在大型企业级应用中。NGXS 作为 Angular 的状态管理库,采用了类似 Redux 的单一数据源理念,同时结合了 Angular 的依赖注入系统和 RxJS 的响应式编程能力,为开发者提供了更符合 Angular 思维模式的状态管理方案。
随着 Angular 18 的发布,带来了诸多性能优化和新特性,NGXS 的此次更新确保了开发者能够无缝地将现有项目升级到最新技术栈,同时享受 Angular 18 带来的所有优势。
主要更新内容
-
Angular 18 兼容性:核心团队已经完成了对所有 NGXS 包的测试,确保它们能够在 Angular 18 环境下稳定运行。
-
信号(Signal)工具函数:新版本引入了
select()和createSelectMap()等信号工具函数,这些函数大大简化了状态选择逻辑,减少了对*ngrxLet和combineLatest()等操作符的依赖。 -
最低版本要求调整:团队同时修正了最低支持的 Angular 版本要求,现在明确要求 Angular 16 作为最低版本,这反映了 NGXS 对现代 Angular 特性的依赖。
升级建议
对于计划升级到 Angular 18 的项目,NGXS v18.0.0 提供了平滑的迁移路径。开发者在升级过程中可以:
- 首先测试项目在 Angular 18 环境下的兼容性
- 逐步替换旧的状态选择逻辑,采用新的信号工具函数
- 注意检查项目中是否有依赖 Angular 12-15 的特性,这些可能需要调整
未来展望
NGXS 团队表示,v18.0.0 版本是一个"软发布",后续将会有更详细的发布说明和技术文档。这次更新不仅解决了 Angular 18 的兼容性问题,还为 NGXS 的未来发展奠定了基础。
随着 Angular 信号(Signal)特性的成熟,我们可以期待 NGXS 在未来版本中进一步整合这些新特性,为开发者提供更高效、更符合现代前端开发范式状态管理解决方案。
对于正在使用或考虑使用 NGXS 的开发者来说,现在正是评估和升级到最新版本的最佳时机,以充分利用 Angular 18 和 NGXS 提供的最新功能。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C037
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C00
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0113
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00