Idris 语言文档 Version 1.3.1女 程序中自动导入,包括 奉 奏 功能,算术运算, 数据结构以及多种通用函 数。奐 奲 奥 奬 奵 奤 奥 中定义了一些算术和比较运算符, 我们可以在提示符中使用它们。在提示符中进行求值会 给出一个答案及其类型。例如: *prims> 6*6+6 42 : Integer *prims> x == 6*6+6 True : Bool 奉 奤 奲 奩 女 为原语类型定义了所有的普通算术和比较运算。它们通过接口进行了重载, 奏 奲 奤 奥 奲 奁奢 女 奴 奲 奡奣 奴 奓 她 奮 奴 奡奸 高阶抽象语法)风格的表示来实现。 由于已知所有东西都有规范的形式,选用哪种求值策略实 际上也就无关紧要了, 因为它们都会得到相同的答案,而在实践中,它会执行 奈奡女 奫 奥 奬 奬 运行时系统选择 的任何事情。 按照约定,奒 奅 奐 奌 使用编译时求值的概念。除了更容易实现外(因为我们可以用求值器), 它在展示 项(奔 奥 奲 奭 也许几年后情况有变, 软件能更好地应对它,到时候重新审视它才有意义。然而目前, 奉 奤 奲 奩 女 不会为操作符提供任何 奕奮 奩 奣 奯奤 奥 符号。 这似乎是个 套 奡奤 奬 奥 奲 定律 在工作中的实例。 本答案基于 奅 奤 奷 奩 奮 奂 奲 奡奤 她 对此 推送请求 的回应。 2. 14 I d r i s 有 有 有社 社 社区 区 区准 准 准则 则 则不 不 不? ? ? 这里 是奉 奤 奲 奩1 魔豆 | 224 页 | 2.06 MB | 2 年前3
Docker —— 从入门到实践-12202257部署一个服务,不就完成服务的 “升级” 了吗。 这样做的弊端很明显,如果新部署的服务出现问题,原来的服务删除之后,很难恢复,那么在 Swarm mode 中 到底该如何对服务进行滚动升级呢? 答案就是使用 docker service update 命令。 $ docker service update \ --image nginx:1.13.12-alpine \ nginx1 魔豆 | 395 页 | 7.32 MB | 3 年前3
Docker —— 从入门到实践-12202257部署一个服务,不就完成服务的 “升级” 了吗。 这样做的弊端很明显,如果新部署的服务出现问题,原来的服务删除之后,很难恢复,那么在 Swarm mode 中 到底该如何对服务进行滚动升级呢? 答案就是使用 docker service update 命令。 $ docker service update \ --image nginx:1.13.12-alpine \ nginx1 魔豆 | 395 页 | 7.32 MB | 3 年前3
共 3 条
- 1










