这是名为 Dialyxir 的 Windows 应用程序，其最新版本可以下载为 1.4.1.zip。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Dialyxir 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从本网站启动任何 OS OnWorks 在线模拟器，但更好的 Windows 在线模拟器。
- 5. 从您刚刚启动的 OnWorks Windows 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序并安装。
- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后，您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux，这是 Wine 上的一个花哨界面，可帮助您安装流行的 Windows 程序和游戏。
Wine 是一种在 Linux 上运行 Windows 软件的方法，但不需要 Windows。 Wine 是一个开源的 Windows 兼容层，可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上，Wine 试图从头开始重新实现足够多的 Windows，以便它可以运行所有这些 Windows 应用程序，而实际上不需要 Windows。
SCREENSHOTS
Ad
透析液
商品描述
混合任务以简化 Dialyzer 在 Elixir 项目中的使用。 需要 Elixir 1.6，以支持新的漂亮打印功能。 如果你的项目还没有在 1.6 上，继续在你的 mix deps 中指定 0.5。 警告消息已得到极大改进，但通过旧版格式化程序进行过滤以支持您现有的忽略文件。 您可以选择使用新的 Elixir 术语格式来忽略文件。 您可能希望在 CI 管道中使用 --format short 参数。 有多种格式，还有一个新的解释功能 - 有关详细信息，请参阅 CLI 选项。 如果您计划将 Dialyzer 与使用 Phoenix Framework 构建的应用程序一起使用，请查看 Quickstart wiki。 从您要分析的混合项目的目录中使用 dialyxir； 如果需要，将创建或更新 PLT 文件，并自动编译项目。
特性
- Dialyzer 是 Erlang 和其他语言的静态分析工具，可以编译为 Erlang VM 的 BEAM 字节码
- 它可以分析 BEAM 文件并提供有关代码中问题（包括类型不匹配）的警告
- 可以通过包含类型提示（称为规范）来改进分析
- 默认情况下，OTP 应用程序依赖项（可传递地）添加到您的 PLT
- 警告类别的解释可用
- Dialyzer 支持许多警告标志，用于启用或禁用某些类型的分析功能
程式语言
酏
分类
这是一个也可以从 https://sourceforge.net/projects/dialyxir.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。
