这是名为 Refined 的 Linux 应用，其最新版本可下载为 0.11.3sourcecode.tar.gz。它可在免费的工作站托管服务提供商 OnWorks 上在线运行。
免费下载并在线运行这款名为 Refined with OnWorks 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
精致的
商品描述
Refined 是一个 Scala 库，它使用谓词式的细化类型来增强具有编译时约束的类型。它允许将验证逻辑嵌入到 Refined[Int, Positive] 等类型中，确保在编译或运行时拒绝无效值，从而提高安全性并减少领域建模中的样板代码。
功能
- 丰富的谓词支持（例如 Positive、NonEmpty、范围约束）
- 编译时验证常量值的改进
- 与类型级编程和无形的无缝集成
- 通过隐式和宏进行自动验证
- 与 Circe、Cats 和其他功能库的互操作性
- 减少运行时检查不变量的样板
程式语言
斯卡拉
分类
图书馆
此应用程序也可从 https://sourceforge.net/projects/refined.mirror/ 获取。它已托管在 OnWorks 中，以便通过我们的免费操作系统之一以最便捷的方式在线运行。
