- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
通过 Haskell Programming from first principles 学习 haskell发现了一个令我困惑的练习。
这是简短的版本:
For the following definition:
a) i :: Num a => a
i = 1
b) Try replacing the type signature with the following:
i :: a
替换给我一个错误:
error:
• No instance for (Num a) arising from the literal ‘1’
Possible fix:
add (Num a) to the context of
the type signature for:
i' :: forall a. a
• In the expression: 1
In an equation for ‘i'’: i' = 1
|
38 | i' = 1
| ^
我或多或少清楚 Num 约束是如何产生的。不清楚为什么将 1
分配给多态变量 i'
会出现错误。
为什么会这样:
id 1
虽然这个没有:
i' :: a
i' = 1
id i'
是否可以将更具体的值分配给不太具体的值并在没有问题的情况下丢失一些类型信息?
最佳答案
这是一个常见的误解。您可能有一些想法,例如,在类 OO 语言中,
class Object {};
class Num: Object { public: Num add(...){...} };
class Int: Num { int i; ... };
然后您将能够使用 Int
值作为需要 Num
参数或 Num
参数的函数的参数值作为期望 Object
的函数的参数。
但这根本不是 Haskell 的类型类的工作方式。 Num
不是一类值(例如,在上面的示例中,它是属于某个子类的所有值的类)。相反,它是代表特定数字风格的所有类型的类。
这有什么不同?好吧,像 1::Num a => a
这样的多态文字不会生成特定的 Num
值,然后可以将其向上转换为更通用的类。相反,它希望调用者首先选择一个您要在其中呈现数字的具体类型,然后立即以该类型生成数字,之后该类型永远不会改变。
换句话说,多态值具有隐式类型级参数。想要使用 i
的人需要在两者同时使用的上下文中这样做
a
是明确的。 (它不一定需要在那儿固定:调用者本身也可以是一个多态函数。)a
有一个Num
实例。在 C++ 中,Haskell 类型类/多态文字的类似物不是 [子] 类及其对象,而是受限于概念的 模板:
#include <concepts>
template<typename A>
concept Num = std::constructible_from<A, int>; // simplified
template<Num A>
A poly_1() {
return 1;
}
现在,poly_1
可以用于任何需要满足 Num
概念的类型的设置,即特别是 constructible_from
的类型int
,但不在需要其他类型的上下文中。
(在较旧的 C++ 中,这样的模板只是鸭子类型,即它并不明确需要 Num
设置,但编译器会尝试使用它,然后给出一个类型注意到 1
无法转换为指定类型时出错。)
关于haskell - 将受约束的文字分配给多态变量,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/74177729/
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: How to nest OR statements in JavaScript? 有没有办法做到这一点:
在 JavaScript 中有没有办法让一个变量总是等于一个变量?喜欢var1 = var2但是当var2更新,也是var1 . 例子 var var1 = document.getElementBy
我正在努力理解这代表什么 var1 = var2 == var3 我的猜测是这等同于: if (var2 == var3): var1 = var2 最佳答案 赋值 var1 = var2
这个问题已经有答案了: What does the PHP error message "Notice: Use of undefined constant" mean? (2 个回答) 已关闭 8
我在临时表中有几条记录,我想从每条记录中获取一个值并将其添加到一个变量中,例如 color | caption -------------------------------- re
如何将字符串转为变量(字符串变量--> $variable)? 或者用逗号分隔的变量列表然后转换为实际变量。 我有 2 个文件: 列名文件 行文件 我需要根据字符串匹配行文件中的整行,并根据列名文件命
我有一个我无法解决的基本 php 问题,我也想了解为什么! $upperValueCB = 10; $passNodeMatrixSource = 'CB'; $topValue= '$uppe
这可能吗? php $variable = $variable1 || $variable2? 如果 $variable1 为空则使用 $variable2 是否存在类似的东西? 最佳答案 PHP 5
在 Perl 5.20 中,for 循环似乎能够修改模块作用域的变量,但不能修改父作用域中的词法变量。 #!/usr/bin/env perl use strict; use warnings; ou
为什么这不起作用: var variable; variable = variable.concat(variable2); $('#lunk').append(variable) 我无法弄清楚这一点
根据我的理解,在32位机器上,指针的sizeof是32位(4字节),而在64位机器上,它是8字节。无论它们指向什么数据类型,它们都有固定的大小。我的计算机在 64 位上运行,但是当我打印包含 * 的大
例如: int a = 10; a += 1.5; 这运行得很完美,但是 a = a+1.5; 此作业表示类型不匹配:无法从 double 转换为 int。所以我的问题是:+= 运算符 和= 运算符
您好,我写了这个 MySQL 存储过程,但我一直收到这个语法错误 #1064 - You have an error in your SQL syntax; check the manual that
我试图在我的场景中显示特定的奖牌,这取决于你的高分是基于关卡的目标。 // Get Medal Colour if levelHighscore goalScore { sc
我必须维护相当古老的 Visual C++ 源代码的大型代码库。我发现代码如下: bIsOk = !!m_ptr->isOpen(some Parameters) bIsOk的数据类型是bool,is
我有一个从 MySQL 数据库中提取的动态产品列表。在 list 上有一个立即联系 按钮,我正在使用一个 jquery Modal 脚本,它会弹出一个表单。 我的问题是尝试将产品信息变量传递给该弹出窗
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: What is the difference between (type)value and type(va
jQuery Core Style Guidelines建议两种不同的方法来检查变量是否已定义。 全局变量:typeof variable === "undefined" 局部变量:variable
这个问题已经有答案了: 已关闭11 年前。 Possible Duplicate: “Variable” Variables in Javascript? 我想肯定有一种方法可以在 JavaScrip
在语句中使用多重赋值有什么优点或缺点吗?在简单的例子中 var1 = var2 = true; 赋值是从右到左的(我相信 C# 中的所有赋值都是如此,而且可能是 Java,尽管我没有检查后者)。但是,
我是一名优秀的程序员,十分优秀!