[英]In Haskell, why does binding a value to a variable name no longer force the system to commit to a type?
:t 3给出3:: Num a => a ，因为文字 3 没有特定类型。
回到 2013 年，当我制作这个视频时，如果我用let x = 3将 3 绑定到一个变量名，Haskell 将不得不提交一个类型，所以:tx会给出x:: Integer 。
但是，当我最近（2022 年）重复此操作时，我得到了x:: Num a => a 。 显然，绑定到变量的值现在可以延迟提交类型。
发生了什么变化？
这种行为是单态限制的结果。 在常规编译中默认情况下仍然启用该限制，但在 ghci 中禁用它，因为没有全局推断，它更加笨拙。
https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/monomorphism.html
从 GHC 7.8.1 开始，单态限制在 GHCi 的交互选项中默认关闭
当我将值设置为变量时，为什么我的SQL语句需要花费N倍的时间才能运行？
[英]Why does my SQL statement take N times longer to run when I set a value as a variable?
为什么访问先前创建的变量所需的时间比刚刚声明的变量要长？
[英]Why does it take longer to access to a previously created variable than a variable just declared?
为什么我的Cygwin复制或带有目录名称中的变量的mkdir不起作用？
[英]Why does my Cygwin copy or mkdir with a variable in directory name not work?
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.
