这是名为 koka 的 Windows 应用程序，其最新版本可以下载为 v2.4.0.zip。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 koka 的应用程序。
请按照以下说明运行此应用程序：
- 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
科卡
商品描述
Koka 是一种具有效果类型和处理程序的强类型函数式语言。 Koka 的核心由一小组经过深入研究的语言特性组成，例如一流函数、多态类型和效果系统、代数数据类型和效果处理程序。 这些中的每一个都是可组合的，并且通过尽可能通用来避免添加“特殊”扩展。 Koka 跟踪其类型中每个函数的（副作用）影响，其中区分了纯粹和有效的计算。 精确的效果类型为 Koka 提供了由经过充分研究的类别理论支持的坚如磐石的语义，这使得 Koka 对于人类和编译器来说特别容易推理。 效果处理程序允许您以类型化和可组合的方式将高级控制抽象（如异常、异步/等待或概率程序）定义为用户库。 Perceus 是一种用于引用计数的高级编译方法。
特征
- 安装 Koka 并编译你的第一个程序
- Koka 的核心由一小组经过充分研究的语言特性组成
- Koka 是一种具有效果类型和处理程序的强类型函数式语言
- 语言编译器和解释器
- Perceus 是一种用于引用计数的高级编译方法
- Koka 跟踪其类型中每个函数的（副作用）
程式语言
哈斯克尔
分类目录
这是一个也可以从 https://sourceforge.net/projects/koka.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。
