blocks|key|307238|text|是的，you+can，尽管它并不像为每个类型类添加一个默认值那么简单，而且它只适用于Prelude和标准库中的Num及其子类。语法是default+(t1,+...,+tn)，每个模块只能使用一个这样的声明。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|307239|例如，添加default+(Int)会将代码中Integral的默认值更改为Int。|307240|(Integer,+Double)的缺省设置不仅仅是GHC策略:它来自Haskell+98+Report。(不过，GHCi确实有extended+default+rules。)|307241|以下是当前系统的一些问题的a+discussion。|307242|entityMap|0|LINK|mutability|MUTABLE|url|http://www.haskell.org/onlinereport/decls.html#default-decls|1|http://www.haskell.org/onlinereport/|2|http://www.haskell.org/ghc/docs/6.6/html/users_guide/ch03s04.html#extended-default-rules|3|http://hackage.haskell.org/trac/haskell-prime/wiki/Defaulting^0|16|7|1J|3|1U|L|3|7|0|0|5|D|N|8|12|3|0|0|H|Z|H|1|1S|M|2|0|D|C|3|0^^$0|@$1|2|3|4|5|6|7|Z|8|@$9|10|A|11|B|C]|$9|12|A|13|B|C]|$9|14|A|15|B|C]]|D|@$9|16|A|17|1|18]]|E|$]]|$1|F|3|G|5|6|7|19|8|@$9|1A|A|1B|B|C]|$9|1C|A|1D|B|C]|$9|1E|A|1F|B|C]]|D|@]|E|$]]|$1|H|3|I|5|6|7|1G|8|@$9|1H|A|1I|B|C]]|D|@$9|1J|A|1K|1|1L]|$9|1M|A|1N|1|1O]]|E|$]]|$1|J|3|K|5|6|7|1P|8|@]|D|@$9|1Q|A|1R|1|1S]]|E|$]]|$1|L|3|-4|5|6|7|1T|8|@]|D|@]|E|$]]]|M|$N|$5|O|P|Q|E|$R|S]]|T|$5|O|P|Q|E|$R|U]]|V|$5|O|P|Q|E|$R|W]]|X|$5|O|P|Q|E|$R|Y]]]]

Yes, <a href="http://www.haskell.org/onlinereport/decls.html#default-decls" rel="noreferrer">you can</a>, although it's not quite so simple as adding a default per typeclass, and it only works for <code>Num</code> and its subclasses in the <code>Prelude</code> and standard libraries. The syntax is <code>default (t1, ..., tn)</code>, and only one such declaration can be used per module.

Adding <code>default (Int)</code>, for example, would change the default for <code>Integral</code> in your code to <code>Int</code>.

The default default of <code>(Integer, Double)</code> isn't just a GHC policy: it's from the <a href="http://www.haskell.org/onlinereport/" rel="noreferrer">Haskell 98 Report</a>. (GHCi does have <a href="http://www.haskell.org/ghc/docs/6.6/html/users_guide/ch03s04.html#extended-default-rules" rel="noreferrer">extended default rules</a>, though.)

Here's <a href="http://hackage.haskell.org/trac/haskell-prime/wiki/Defaulting" rel="noreferrer">a discussion</a> of some of the problems with the current system.

Consider this example:

<pre><code>applyKTimes :: Integral i =&gt; i -&gt; (a -&gt; a) -&gt; a -&gt; a
applyKTimes 0 _ x = x
applyKTimes k f x = applyKTimes (k-1) f (f x)

applyThrice :: (a -&gt; a) -&gt; a -&gt; a
applyThrice = applyKTimes 3
</code></pre>

The <code>3</code> in <code>applyThrice</code> is defaulted by GHC to an <code>Integer</code> as shown when compiling with <code>-Wall</code>:

<pre><code>Warning: Defaulting the following constraint(s) to type 'Integer'
 'Integral t'
 arising from a use of 'applyKTimes'
</code></pre>

So I guess that <code>Integer</code> is the default <code>Integral a =&gt; a</code>.

<ul>
<li>Is there a way to define "default types" for other constraints too?</li>
<li>Is using default types bad practice? (it does complain when using <code>-Wall</code>..)</li>
</ul>

Haskell: Defaulting constraints to type

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

考虑这个例子：applyKTimes :: Integral i => i -> (a -> a) -> a -> aapplyKTimes 0 _ x = xapplyKTimes k f x = applyKTimes (k-1) f (f x)applyThrice :: (a -> a) -> a -> aap...

Haskell:默认类型的约束-腾讯云开发者社区-腾讯云

问Haskell:默认类型的约束
EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Haskell:默认类型的约束EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Haskell:默认类型的约束
EN