登录 注册

搜索结果：refinement-types（1 个）

今日热门（多来源加权） 本周热门 本月热门 最近新增 Star 增长最快 Fork 增长最快 商业潜力较高 适合个人开发者
推广
阿里云 没搜到想要的？这就是机会——自己造一个，一台入门级云服务器就能上线 去开机器
按分类缩小范围
全部分类 AI 应用与 AI Agent AI 模型与开发框架 自动化与工作流 数据分析与数据处理 网站与 SaaS 工具 效率与办公工具 图像、视频与音频 内容创作与媒体工具 电商与营销工具 游戏与娱乐 网络与基础设施 开发者工具 安全与隐私工具 教育与学习 其他

refined

综合 54
refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。
Scala 1,731 151 2026-11-05
开发者工具 自动化与工作流 内容创作与媒体工具 部署：待检测