Modern.js v2.65.0 版本发布:BFF 增强与构建优化
Modern.js 是一个现代化的前端开发框架,它集成了多种前端开发的最佳实践,提供了开箱即用的开发体验。该框架特别注重开发效率与性能优化,支持服务端渲染(SSR)、静态站点生成(SSG)、微前端等多种前端架构模式。
BFF 跨项目调用支持域名配置
在本次 v2.65.0 版本中,Modern.js 对 BFF(Backend For Frontend)层进行了重要增强。BFF 作为前端与后端之间的中间层,能够帮助前端开发者更好地组织 API 调用和数据聚合。新版本增加了跨项目调用时支持配置域名的功能,这为微前端架构下的服务调用提供了更灵活的解决方案。
在实际开发中,特别是大型项目中,前端应用往往由多个子项目组成,每个子项目可能有自己的 BFF 服务。通过这项新特性,开发者可以轻松配置不同子项目 BFF 服务的调用地址,而无需硬编码在代码中。这不仅提高了代码的可维护性,也为不同环境(开发、测试、生产)的部署提供了便利。
请求体透传优化
另一个值得关注的改进是请求体(body)的透传支持。当查询参数(query)设置为"pass_body"时,系统会自动将请求体透传到后端服务。这一特性在处理复杂 API 请求时尤为有用,特别是当需要将前端收集的表单数据或 JSON 数据原样传递给后端服务时。
这种设计遵循了 RESTful API 的最佳实践,使得前端开发者可以更灵活地处理不同类型的请求数据。同时,它也简化了前后端数据交互的流程,减少了不必要的数据转换和包装。
Rsbuild 配置 Hook 支持
Modern.js 的构建工具链也得到了增强,新增了对 Rsbuild 修改配置 Hook 的支持。Rsbuild 是基于 Rspack 的构建工具,提供了更快的构建速度和更好的开发体验。
通过这个新特性,开发者可以在构建过程中通过 Hook 函数动态修改配置,这为构建流程的定制化提供了更多可能性。无论是需要根据环境变量调整构建参数,还是需要集成特定的构建插件,都可以通过这个 Hook 机制轻松实现。
构建缓存路径问题修复
本次更新还修复了一个与构建缓存相关的重要问题。在使用 Rspack 构建时,系统现在会正确地将 frameworkConfigPath 添加到 buildDependencies 中。这意味着当框架配置文件发生变化时,构建系统能够正确地识别并重新构建相关部分,避免了因缓存导致的构建结果不一致问题。
对于大型项目来说,这一修复尤为重要,因为它确保了构建结果的准确性,同时又不失构建缓存的性能优势。
总结
Modern.js v2.65.0 版本虽然在功能上看似是小版本更新,但实际上包含了对开发者体验的重要改进。从 BFF 层的增强到构建流程的优化,每一项改进都体现了框架对开发效率和工程质量的关注。
对于正在使用 Modern.js 的团队来说,这个版本值得升级,特别是那些正在实施微前端架构或需要处理复杂 API 交互的项目。新特性不仅提供了更多的灵活性,也解决了一些实际开发中可能遇到的痛点问题。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C051
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0127
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00