在Haskell Core类型定义中，AppTy和FunTy有什么不同？
在Haskell Core类型定义中，AppTy和FunTy是两种不同的类型构造器。
- AppTy（Application Type）是用于表示类型应用的构造器。它接受两个类型作为参数，表示将一个类型应用到另一个类型上的结果。通常用于表示函数类型的应用。例如，AppTy (AppTy (ConTy "->") t1) t2 表示一个函数类型，其中 t1 是参数类型，t2 是返回类型。
- FunTy（Function Type）是用于表示函数类型的构造器。它接受两个类型作为参数，表示函数的参数类型和返回类型。例如，FunTy t1 t2 表示一个函数类型，其中 t1 是参数类型，t2 是返回类型。
总结：
- AppTy 用于表示类型应用，将一个类型应用到另一个类型上。
- FunTy 用于表示函数类型，包含参数类型和返回类型。
这两种类型构造器在类型定义中的使用方式和语义不同，但它们都是用于构建复杂类型的基本构造器。在实际编程中，可以根据需要使用这些构造器来定义和操作不同的类型。
相关·内容
阅读Core Haskell Type，如果有人能用例子解释一下FunTy和AppTy之间的区别，我将不胜感激。不知道规范是什么，但包括页面中的相关部分(如果不鼓励这样做，请告诉我)： type TyVar = Var
| TyConApp TyCon [Type
浏览 13提问于2021-06-23得票数 0
回答已采纳
3回答
我正在为纯函数式程序开发一个虚拟机，我希望能够测试和使用已有的各种Haskell模块。VM本质上接受无类型lambda演算中的术语作为输入。我想知道从现代Haskell模块中提取这样一个表示的好方法是什么(例如：具有MPTC、模式保护等)。我做了一点研究，似乎还没有一个工具可以做到这一点(如果我错了，我会很高兴)，这没什么。我在寻找一种方法。
GHC核心似乎过于关注操作，特别是因为VM所做的其中一件事就是显著地改变评估顺序。是否有更接
浏览 1提问于2010-12-29得票数 10
回答已采纳
我在研究一种算法的Coq形式化。但是这个算法的组件(一些函数和引理)可以在不同类型上“重载”(在Haskell意义上)。
我的目的是避免代码重复。我知道Coq有模块(如ML)和类型类(如Haskell)。实现引理和函数定义的可重用性的最佳方法是什么?它可以在不同类型上进行参数化？
浏览 2提问于2015-09-30得票数 2
回答已采纳
我知道什么是类型的协方差和逆方差。我的问题是，为什么我在研究Haskell (而不是Scala)时还没有遇到对这些概念的讨论？与Scala或C#相比，Haskell看待类型的方式似乎有一个根本的不同，我想阐明这个不同之处是什么。
或者也许我错了，我只是还没有学到足够的Haskell :-)
浏览 4提问于2012-02-16得票数 61
回答已采纳
我是haskell的初学者，我想知道定义一种新类型的正确方法。假设我想定义一个Point类型。在祈使语言中，它通常相当于：然而，在haskell中，我通常看到的定义如下：有什么不同之处，什么时候应该使用每一种方法
浏览 1提问于2016-03-14得票数 3
回答已采纳
在Haskell中编写插入和成员操作。确保在ML和Haskell中，Set数据类型与列表不同。在Haskell中，将Set类型定义为类Eq和Show的实例。i有办法把这个变成课堂吗？对不起，我只是在学习函数式编程。是否
浏览 0提问于2016-03-07得票数 0
回答已采纳
In the second argument of `(:)', namely `"there"'Prelude>
为什么不也返回
浏览 2提问于2012-07-20得票数 4
回答已采纳
4回答
在haskell中寻找一个函数，它扁平任意深度嵌套的列表，即递归应用concat并在最后一次迭代时停止(使用非嵌套列表)的函数，但我注意到这需要有一个更灵活的类型系统，因为随着列表深度的变化，输入类型也会发生变化编辑:在haskell中，有些答案提供了一些变通方法，无论是针对自定义数据类型，还是在TypeFamilies或MultiParamTypeClasses的帮助下(如下面的答案或中<
浏览 8提问于2021-08-22得票数 2
回答已采纳
2回答
我希望这个问题适合这个站点，它只是关于Idris与Haskell相比的具体语法的选择，因为两者非常相似。我想这没那么重要，但我很好奇。在Haskell使用=>的某些情况下，Idris使用->。到目前为止，我已经看到Idris只在函数类型中使用->，对于其他事情，比如lambdas和case _ of，只使用=>。这种选择是因为认识到在实践中明确区分这些用例是有用的吗？
浏览 0提问于2018-02-14得票数 6
回答已采纳
2回答
在使用宏时，我已经达到了需要更新AST中那些具有特定条件的节点的地步(我一直在努力避免它)。例如，假设我想更新每个节点：具有以下价值：这些AST节点可能在表达式树中的任何位置，因此我不能使用ad模式匹配器。我一直在中搜索，但我的印象是，收集和可遍历的家族等方法还不够好，无法满足我的需求，因为它们将树视为线性的东西，因此我希望整个更新的树都是这样。那么，是否有可能以智
浏览 2提问于2012-07-09得票数 5
回答已采纳
2回答
我想知道Haskell的类型类和Go接口之间是否有区别。如果为值定义了类型所需的函数，则这两种方法都基于函数定义类型，即值与类型匹配。
有什么不同吗?还是这两个名字只是同一件事的两个名字？
浏览 0提问于2016-12-20得票数 11
回答已采纳
4回答
我目前正试图把我的头脑围绕着打字机和实例，但我还不太明白它们的意义。到目前为止，我对这个问题有两个问题：2)类型类与函数重载有何关系？这样做是不可能的：data B = B
f ::
浏览 9提问于2017-12-25得票数 18
回答已采纳
我对函数式的使用感到困惑类型或类声明的报头格式不正确:流x y当我替换示例中的属性时，在google中发现，通常不能运行，或者是碎片
当使用关于映射的例子时，例如A ->
浏览 0提问于2011-04-03得票数 0
回答已采纳
5回答
假设我有一个抽象类机器人，它有几个属性，比如“位置”和“重量”。这个抽象类实现了三种方法：“采取”、“下降”和“移动”，但也有一个抽象方法“makeAction”。然后，我有两个“机器人”的子类，名为“TRobot”和“FRobot”。基本上，TRobot和FRobot将实现'makeAction‘方法，但不会重新实现’采取‘、’拖放‘和’移动‘。我的问题是你在Haskell是怎么做到的。我从数据类型开始：
浏览 3提问于2014-02-20得票数 1
回答已采纳
在Haskell类型签名中，这两种类型的"a“和"t”之间有什么区别吗?还是只有"a“和"b”两种类型的名称不同？在中，a类型的定义如下：
a是由a的每一种类型a组成的类型族，整数列表(例如，1,2,3)，字符列表('a'，
浏览 7提问于2017-09-14得票数 6
回答已采纳
得知Haskell将其对数字的succ函数定义为添加一个函数时，我感到有点惊讶：
价值的继承者。对于数值类型，succ添加了1。尽管对于积分值而言，这似乎是合理的，但也存在以下几个问题：
如果您定义了某种表示一半和全数字的“不动点数”，更严重的是，如果使用表达式[2.2 :: Float .. 4.0 :: F
浏览 3提问于2015-03-04得票数 3
回答已采纳
专门为这样的元组保留不同数据类型的配对是否有好处：而不是仅仅使用二维列表：我知道第二段代码在Haskell是行不通的。
浏览 5提问于2015-07-19得票数 1
回答已采纳
我是haskell的新手，我正在做一些练习来尽可能多地了解类型，但是有些问题真的让我很困惑。我正在努力的练习是：5 + 8 :: ?(+2) :: ?我得到5+8将返回一个Int，但其他的都不是他们自己的有效表达式。这是否意味着它们没有类型，还是应该将它们看作函数(f :：Int -> Int)(f =x+ 2)？
浏览 2提问于2020-08-30得票数 1
回答已采纳
1回答
根据在我的PL中的程序中编写的内容，在我的语言的运行时，我希望将不同类型的Haskell函数动态应用于不同类型的Haskell值(它们的类型在运行时是已知的)，其类型在运行时是已知的。我希望以一种通用的方式应用这些函数，而不必在每个可能的类型上都进行大小写。基本上，我希望我的语言运行时的这一部分在Haskell中</em
浏览 4提问于2018-02-03得票数 2
2回答
在Haskell中，为什么要定义一个带有类型约束的函数：(==) :: (Eq a) => a -> a -> Boolghci> :t
浏览 3提问于2010-06-29得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
