程序员经验分享-hwhale

Haskell 中一元运算符的前缀形式

2023-12-31

In GHCi:

  1. 前奏> (+3) 2
    5
  2. 前奏> (*3) 2
    6
  3. 前奏>(/3)2
    0.66666666666666666
  4. 前奏>(-3)2
    没有 (Num (t -> t1)) 的实例
    由字面意思产生的3' at <interactive>:1:2
    Possible fix: add an instance declaration for (Num (t -> t1))
    In the expression: 3
    In the expression: (- 3) 2
    In the definition of    它'：它 = (- 3) 2

我怎样才能纠正最后一个使其返回-1？


Haskell 的语法不允许你使用-像那样。使用subtract函数代替：

(subtract 3) 2
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

Haskell

ghci

unaryoperator

prefixoperator

Haskell 中一元运算符的前缀形式 的相关文章

  • 如何在递归方案中派生实例

    我正在测试其中的一些想法本文 http blog sumtypeofway com an introduction to recursion schemes 我想派生 Term 类型的 Eq 实例 LANGUAGE DeriveFuncto

  • 如何使用 alex/haskell 执行 python 风格的缩进/缩进标记？

    我正在用 Haskell 为 Alex 中的一种小语言编写一个词法分析器 该语言被指定为具有 python 式的显着缩进 只要缩进级别发生变化 就会发出 INDENT 标记或 DEDENT 标记 在像 C 这样的传统命令式语言中 您将在词法

  • 模式匹配中的 Monoid mempty

    我尝试写一个通用的maximum功能类似于Prelude 我的第一个天真的方法如下所示 maximum F Foldable a Ord b gt a b gt Maybe b maximum mempty Nothing maximum

  • 仪器化状态单子

    我正在努力给予Monad and MonadState的实例State 计算的数量 gt gt return get and put运营 data Counts Counts binds Int returns Int gets Int p

  • 应用交换律

    带有效果的应用程序编程 http staff city ac uk ross papers Applicative html麦克布莱德和帕特森的论文提出了互换法 u lt gt pure x pure f gt f x lt gt u 为了

  • 无法通过 cabal 安装“System.Random”

    我尝试通过 Cabal 通过 Powershell 和 Git Bash 安装 System Random 得到这个结果 PS C Users xxx gt cabal install random Resolving dependenci

  • 副作用是纯函数中找不到的一切吗？

    可以肯定地说 以下二分法成立 每个给定的函数是 要么纯粹 或有副作用 如果是这样 函数的 副作用就是纯函数中找不到的任何东西 这很大程度上取决于您选择的定义 可以公平地说 函数是pure or impure 纯函数始终返回相同的结果并且不会

  • Haskell 真的是纯粹的吗（有任何语言可以处理系统外的输入和输出）吗？

    在谈到函数式编程中的 Monad 后 该功能是否真的使语言变得纯粹 或者它只是黑板数学之外的现实世界中计算机系统推理的另一张 免狱卡 EDIT 这不是有人在这篇文章中所说的火焰诱饵 而是一个真正的问题 我希望有人能用它来击倒我并说 证明 它

  • 如何将可选标志解析为 Maybe 值？

    我正在尝试使用optparse 应用程序 https hackage haskell org package optparse applicative 0 11 0 2解析一个Maybe String但我找不到任何地方如何处理Maybe 我

  • 不同 hs 文件中的函数分离时堆栈空间溢出

    我有一个巨大的 haskell 文件 它编译和运行没有任何问题 我想将一些函数和类型定义放在通用 hs 文件中的单独模块中 然后将其导入我的主模块中 虽然主程序编译时没有任何错误 它还编译导入的模块 但当我尝试运行它时 出现堆栈空间溢出 I

  • 如何向 Scotty 中间件添加基本身份验证？

    我目前正在制作 Scotty API 但找不到任何 basicAuth 实现的示例 Wai Middleware HttpAuth 具体来说 我想将基本身份验证标头 用户 通行证 添加到我的某些端点 即以 admin 开头的端点 我已经设置

  • 我应该使用镜头中的什么来按索引构建只读吸气剂？

    我有一个内部细节被隐藏的类型 我想提供某种镜头 可以在特定索引处读取所述类型的元素 但是not修改它们 一个Ixed我的类型的实例似乎没有做我想要的事情 因为它明确允许修改 尽管不允许插入或删除 如果我想允许只读索引 我不确定我使用什么 如

  • 对元组列表进行排序的函数 - Haskell

    抱歉 这个简单的问题只是我对 haskell 非常陌生 我正在尝试编写一个函数 order 它将对另一个函数 Frequency 生成的元组列表进行排序 频率计算列表中不同元素的数量 a给出一个这样的结果 比如 gt 频率 aabbbccc

  • 反应性香蕉时间延迟

    我已经查阅了文档反应香蕉 http hackage haskell org package reactive banana 而且我找不到指定明确时间延迟的方法 举例来说 我想采取Event t a并将其所有发生的事件移至未来 1 秒 或获取

  • 带有查询参数的渲染 url

    无法找到简单问题的解决方案 答案应该是显而易见的 如何在 hamlet 模板中使用查询参数渲染 url I e ItemsR 将生成http localhost 3000 items我如何生成类似的东西http localhost 3000

  • 什么是阴谋地狱？

    在阅读有关 阴谋地狱 的内容时 我有点困惑 因为这个词的含义太多了 我猜最初 Cabal Hell 指的是钻石依赖问题 该问题是通过限制构建计划在每个构建计划中只有任何包的单个版本来解决的 一个包的两个不同版本不能存在于单个构建计划中 正如

  • Haskell 排列库函数 - 请澄清一下？

    这是代码permutationsHaskell 中的函数Data List module permutations a gt a permutations xs0 xs0 perms xs0 where perms perms t ts i

  • 地图不是接受一个函数而列表返回一个列表吗？

    map2 List a gt b gt c gt a gt b gt c map2 List f map2 List f a as bs map f a bs map2 List f as bs 这是我的讲座中的一个示例 它尝试将二元函数应

  • 类型级编程有哪些示例？ [关闭]

    Closed 这个问题需要多问focused help closed questions 目前不接受答案 我不明白 类型级编程 是什么意思 也无法使用Google找到合适的解释 有人可以提供一个演示类型级编程的示例吗 范式的解释和 或定义将

  • Haskell 类型定义，=> 等

    我正在使用 Learn You a Haskell 来学习 Haskell 第 54 页上有一个 像这样执行 take Num i Ord i gt i gt a gt a take n n lt 0 take take n x xs x

随机推荐

  • 在 NestJS 应用程序中的 Newrelic 中注释匿名中间件

    我在一个项目中使用 NestJS 带有 Express Server 并尝试优化某些端点的性能 使用 New Relic 我注意到所有端点的响应时间的很大一部分都花费在匿名中间件上 达到 89 在某些点上 有没有办法找出这是哪个中间件 我已

  • Myers diff 算法与 Hunt–McIlroy 算法

    最长的公共子序列问题 https en wikipedia org wiki Longest common subsequence problem这是一个经典的计算机科学问题 解决它的算法是版本控制系统和维基引擎的根源 两个基本算法是亨特

  • React-router-dom v4 中的多个嵌套路由

    我需要在react router dom中使用多个嵌套路由 我正在使用react router dom v4 我有我的 import BrowserRouter as Router Route from react router dom 我

  • 使用具有特定布局的 image.plot

    我正在尝试使用 R 函数来设置复杂的图形排列layout包装的graphics x lt y lt seq 4 pi 4 pi len 27 r lt sqrt outer x 2 y 2 当我只使用用该函数创建的图时image 事情按预期

  • 如何设置文本框输入长度

    使用VB6 在我的表单中使用文本框 我想限制文本框中的输入 因此最大值应为 6 用户最多应输入六个字符 否则应显示错误消息 Button1 click if Length textbox1 text gt 6 then enter only

  • 查找依赖于.NET 3.5 SP1的代码

    有没有办法运行某种代码分析来查找可以使用 NET 3 5 SP1 编译但不能使用 3 5 RTM 编译的代码 FxCop 适用于 SP1 引入的程序集 但对于仅调用新方法和属性的代码 它不会检测该用法 当然 您可以使用 fxcop 或 VS

  • 在 iPhone 中标记 CALayers

    我正在寻找一种通用方法 能够在层次结构中搜索唯一的 CALayer 而不必记住该层在层次结构中的位置 并使用 sublayer 和 superlayer 方法 我知道这对于 UIViews 是可能的 这使得翻转视图变得容易 但是 CALay

  • 如何解决此错误 VFY：无法解析虚拟方法

    我正在使用 android studio 2 0 上次我将 jdk 7 升级到 jdk 8 并对文件 gradle 进行了一些更改 但现在我收到此错误 E InstantRun Could not find slices in APK ab

  • 什么是比较合同？

    我的java代码抛出了以下异常 java lang IllegalArgumentException Comparison method violates its general contract 我研究了 StackOverflow 上的

  • 导入不适用于 tsconfig.json 中的 "module": "ESNEXT"

    我在服务器端有以下代码 import as express from express export class AppRouter private static instance express Router static getInsta

  • Flexbox 换行 - 最后一行的不同对齐方式

    我使用弹性框将两个项目与容器的左侧和右侧对齐 同时将它们垂直居中对齐 这是我想要实现的目标的一个非常简单的例子 HTML div class container div class first div div class second di

  • 如何判断 Delphi 应用程序是否“拥有”其控制台？

    Delphi 控制台应用程序可以从现有控制台窗口的命令行运行 并且可以通过双击其图标来运行 在后一种情况下 它将创建自己的控制台窗口 并在应用程序终止后将其关闭 如何判断我的控制台应用程序是否已创建自己的窗口 我想检测到这一点 以便我可以显

  • 使用 matplotlib + errorbar 进行动画

    我正在尝试根据这个例子制作动画 我的主要问题是我不知道如何将动画与错误栏连接起来 也许有人已经解决了 相似的东西 import numpy as np import matplotlib pyplot as plt import matpl

  • 将行分隔的 grep 结果放入数组中

    我有以下 grep 命令 echo v1 33 4 egrep o 0 9 1 3 返回 1 33 4 在 Bash 脚本中 我想将这些行分隔成一个数组 我尝试将它直接分配给一个变量并对其运行 for 循环 但循环内的回声仅产生第一个数字1

  • Eclipse 不允许从另一个工作区访问外部 jar 中的静态接口方法

    有两个 Eclipse 工作区 工作区A and 工作区B In 工作区A 有一个项目 其接口定义了公共静态方法 package workspacea public interface Foo public static String sa

  • 将自定义搜索字段添加到 DataTable 对象

    我需要将在页面上创建的字段添加到 DataTable 对象 尽管它们不是典型的参数 顺序 搜索 分页等 但它们可以与 DataTables 对象状态的其余部分一起保存和加载 JavaScript document ready functio

  • Android 设备选择器窗口目标栏中的橙色三角形是什么意思？

    当我使用 Eclipse 启动 Android 应用程序时 会出现通常的窗口 Android Device Chooser 我可以在这里选择要在哪个设备上运行我的应用程序 在目标列中 我的目标旁边会出现一个带有感叹号的橙色三角形 有点 警告

  • Numpy：从给定范围生成组合的有效方法

    我有一个 n 维数组 如下所示 np array 0 3 0 3 0 10 在此数组中 元素表示低值和高值 前任 0 3 指的是 0 1 2 3 我需要使用上面给出的范围生成所有值的组合 例如 我想要 0 0 0 0 0 1 0 1 0 3

  • 重新编码数值向量 R

    我有一个数字向量 让我们这样说 x lt rep 1 6 300 我想做的是重新编码向量 使 6 1 5 2 4 3 3 4 2 5 1 6 我不想从中创造一个因素 到目前为止 我尝试过的所有操作都因为顺序而给出了错误的计数 即 x x 6

  • Haskell 中一元运算符的前缀形式

    In GHCi 前奏 gt 3 2 5 前奏 gt 3 2 6 前奏 gt 3 20 66666666666666666 前奏 gt 3 2没有 Num t gt t1 的实例由字面意思产生的3 at

热门标签