如何在Haskell中定义这些类型？
在Haskell中，我们可以使用data关键字来定义自定义类型。下面是如何在Haskell中定义一些常见的类型：
- 前端开发：在Haskell中，可以定义一个前端开发类型，表示前端开发的相关技能和知识。
data FrontendDev = FrontendDev { html :: String, css :: String, javascript :: String }- 后端开发：在Haskell中，可以定义一个后端开发类型，表示后端开发的相关技能和知识。
data BackendDev = BackendDev { programmingLanguage :: String, database :: String, server :: String }- 软件测试：在Haskell中，可以定义一个软件测试类型，表示软件测试的相关技能和知识。
data SoftwareTester = SoftwareTester { testingFramework :: String, testAutomation :: String }- 数据库：在Haskell中，可以定义一个数据库类型，表示数据库的相关知识和技术。
data Database = Database { relational :: String, NoSQL :: String }- 服务器运维：在Haskell中，可以定义一个服务器运维类型，表示服务器运维的相关技能和知识。
data ServerAdmin = ServerAdmin { serverManagement :: String, monitoring :: String }- 云原生：在Haskell中，可以定义一个云原生类型，表示云原生的相关技术和概念。
data CloudNative = CloudNative { containerization :: String, orchestration :: String }- 网络通信：在Haskell中，可以定义一个网络通信类型，表示网络通信的相关技术和协议。
data NetworkCommunication = NetworkCommunication { TCP :: String, UDP :: String }- 网络安全：在Haskell中，可以定义一个网络安全类型，表示网络安全的相关技术和概念。
data NetworkSecurity = NetworkSecurity { encryption :: String, authentication :: String }- 音视频：在Haskell中，可以定义一个音视频类型，表示音视频处理的相关技术和知识。
data AudioVideo = AudioVideo { audioProcessing :: String, videoProcessing :: String }- 多媒体处理：在Haskell中，可以定义一个多媒体处理类型，表示多媒体处理的相关技术和知识。
data Multimedia = Multimedia { imageProcessing :: String, videoEditing :: String }- 人工智能：在Haskell中，可以定义一个人工智能类型，表示人工智能的相关技术和概念。
data ArtificialIntelligence = ArtificialIntelligence { machineLearning :: String, naturalLanguageProcessing :: String }- 物联网：在Haskell中，可以定义一个物联网类型，表示物联网的相关技术和概念。
data InternetOfThings = InternetOfThings { sensors :: String, connectivity :: String }- 移动开发：在Haskell中，可以定义一个移动开发类型，表示移动应用开发的相关技术和知识。
data MobileDevelopment = MobileDevelopment { iOS :: String, Android :: String }- 存储：在Haskell中，可以定义一个存储类型，表示数据存储的相关技术和概念。
data Storage = Storage { fileStorage :: String, objectStorage :: String }- 区块链：在Haskell中，可以定义一个区块链类型，表示区块链的相关技术和概念。
data Blockchain = Blockchain { distributedLedger :: String, smartContracts :: String }- 元宇宙：在Haskell中，可以定义一个元宇宙类型，表示元宇宙的相关技术和概念。
data Metaverse = Metaverse { virtualReality :: String, augmentedReality :: String }以上是在Haskell中定义这些类型的示例。每个类型都包含了相关的属性和字段，用于描述该类型的特征和知识。请注意，这只是示例，实际应用中可能需要根据具体需求进行调整和扩展。
相关·内容
假设我想使用以下颜色方案：
我将PaperColor.vim文件复制到..vim/.vimrc中，并制作了.vimrc：
syntax on
colorscheme PaperColor
background=light
现在，我想对haskell文件使用这个语法高亮显示：
有两个语法突出显示文件。我该用哪一个，把它们放哪儿？
谢谢!
我是否将其放入./ vim /语法和vim自动加载./vim/语法文件夹中的所有文件？
它似乎是自动加载haskell.vim。但不加载cabal.vim。想知道它是否只在我打开haskell.vim文件时加载.hs？我正试着让它变成那样。vim可以一次加载多个
浏览 0提问于2019-02-13得票数 3
回答已采纳
2回答
如何在Haskell中实现真正的向量类型？为了成为向量，它必须按顺序存储在内存中，并使用O(1)随机访问。但是Haskell隐藏了它的内存管理，它的数据类型描述了树！那么，你如何表达这种要求呢？
浏览 0提问于2014-07-11得票数 5
3回答
在面向对象的语言(例如Java和Python)中，我们可以从类中生成对象/实例。在Haskell中，我们可以从类型类中创建实例，例如：
data ShirtSize = S | M | L -- Here ShirtSize is a enum data-type
class MyEq a where
(==) :: a -> a -> Bool
instance MyEq ShirtSize where -- Here ShirtSize is an instance of the MyEq type-class
S == S = True
M ==
浏览 4提问于2017-07-03得票数 20
回答已采纳
我读了一本书，偶然发现Haskell Bool Type
data Bool = True | False
正如我在本例中所理解的，真值和False是值，下面类型的表达式是有效的
c = True
稍后，当我想要创建一个新类型时，我忘记了命名值构造函数，并创建了以下类型。
data Cartesian2D = Double Double
在本案中，Haskell (GHCI)没有提出申诉。
但是当我试图构造一个像
x = 1.0 2.0
和
x = Double Double
在这两种情况下，Haskell都返回了一个错误。
在这种情况下，
是否类型Cartesian2D有效?如果类型无效，
浏览 1提问于2020-04-14得票数 2
回答已采纳
如何在Dhall编程语言中定义类似于Haskell的sum类型的sum类型？
例如，如果在Haskell中我定义
data SumProp = Option1 | Option2
我的目的是在Dhall中定义一个记录，其中它的一个属性具有一组有限的可能值：
\(sumPropValue : SumProp) -> { value = sumPropValue }
浏览 8提问于2018-07-29得票数 6
回答已采纳
我在源文件中有以下Haskell定义
nNotes=7
pitchLimit k = k < 0 || k > 20
pitcherror = error "Invalid Pitch"
getOctave k
| pitchLimit k = pitcherror
| otherwise = k `div` nNotes
我没有声明getOctave的类型。下面是我关于类型的问题。后来在同一个源文件中，我使用了带有Int的getOctave。我将源文件加载到GHCI中，Haskell推断getOctave的类型是Int->Int。现在
浏览 11提问于2017-08-28得票数 3
假设：
我想解析一个嵌套的JSON字符串。
我知道Haskell鼓励用类型系统解决问题，Clojure则鼓励使用类型系统解决问题，更喜欢用数据结构来解决问题。
我知道，在这两种语言中，这个过程都被称为析构--但在Clojure中没有其他名称，而在Haskell中，这也称为使用镜头，所以我将Clojure称为析构，然后继续前进
我们可以看到我们可以在Haskell中创建一个 ：
{-# LANGUAGE TemplateHaskell #-}
import Control.Lens
initialState :: Game
initialState = Game
浏览 8提问于2015-02-14得票数 1
回答已采纳
4回答
我是一名C#开发人员。从面向对象的角度出发，我首先从接口、类和类型层次结构的角度进行思考。由于Haskell缺乏面向对象，有时我发现自己被卡住了，我想不出一种方法来模拟Haskell的某些问题。
如何在Haskell中对涉及类层次结构的实际情况进行建模，如下所示：
浏览 0提问于2010-06-27得票数 17
回答已采纳
我来自OOP背景，所以我不明白在Haskell是怎么做到的。
在OOP中，假设我们有Shape -> Circle, Rectangle, Square层次结构。我可以很容易地编写这个伪代码：
Shape[] shapes = [create_circle(), create_rect(), create_square()]
foreach(Shape s: Shapes) draw(s)
它将调用圆圈、矩形、正方形(或形状)的draw方法(如果不是为子类型实现的话)。
如何在Haskell实现这一目标？
浏览 9提问于2017-05-26得票数 1
回答已采纳
我正在尝试通过移植一些Haskell代码来教授我自己的F#。
具体来说，我正在尝试移植显示为的倒计时问题
中列出了Haskell代码
我正在尝试在F#中创建以下Haskell类型：
data Op = Add | Sub | Mul | Div
data Expr = Val Int | App Op Expr Expr
在F#中，我认为Op类型的定义如下：
type Op = | Add | Sub | Mul | Div
我遇到了Expr类型的问题。
如何创建一个递归类型？从上看，似乎不能在F#中创建Expr类型。
还有什么是'App‘类型的F#等价物，它将Op类
浏览 0提问于2009-12-17得票数 5
回答已采纳
2回答
Haskell有一个“泛型函数”的概念，它与普通的lisp有一些明显的相似之处--既没有Haskell的经验，也没有普通的lisp，我在这里可能非常接近。这意味着我们可以定义一个通用的to_string工具来定义所有类型的字符串表示。当然，该工具必须在特殊情况下定义，但是有一个to_string函数，其签名为α → string。
类型是否在Haskell中擦除，就像在OCaml中一样？如果是的话，Haskell中的“泛型函数”的实现与普通lisp的实现有何不同，后者的类型是动态的，因此不会被删除？
我知道实现细节是特定于编译器的，但是可能有很多或所有实现都有共同的规定。
浏览 0提问于2013-12-09得票数 13
回答已采纳
我想在Haskell中使用这种数据类型：
data DirTree = DirTree {
name :: FilePath,
type :: Text,
children :: Maybe [DirTree]
}
但是Haskell不接受名称type，因为它是一个保留关键字。
有办法用吗？因为type不是从包导出的对象，所以我不能通过执行import ... hiding (type)来解决这个问题。
浏览 0提问于2017-02-23得票数 3
回答已采纳
从文档来看，提升似乎基本上是fmap的一种推广，允许使用多个参数映射函数。
然而，关于提升的文章给出了一种不同的观点，用范畴中的态射来定义"lift“，以及它与类别中的其他对象和态射之间的关系(我将在这里不给出详细信息)。我想，如果我们考虑猫(范畴的范畴，从而形成了我们的态射函子)，这可能与Haskell的情形有关，但我看不出这个范畴论的升降机概念是如何联系到基于链接文章的Haskell中的概念的，如果它确实如此的话。
如果这两个概念并没有真正的联系，只是有一个相似的名字，电梯(范畴理论)是否在Haskell中使用呢？
浏览 1提问于2014-07-21得票数 20
回答已采纳
2回答
在Haskell中，可以使用unsafeCoerce覆盖类型系统。如何在F#中做同样的事情？
例如，实现Y-组合器.
浏览 3提问于2013-12-29得票数 3
回答已采纳
1回答
我正在学习Haskell，并试图理解Monoid的类型。目前，我正在阅读这本书，上面写着关于这个模式(单样体)的如下内容：
Haskell社区的一个更好的观点是，它倾向于识别代码中的抽象模式，这些模式在数学中有明确的、合法的表示。
作者所说的abstract patterns是什么意思？
浏览 5提问于2017-06-30得票数 3
回答已采纳
这是(一系列) Haskell问题。我对Haskell还是个新手。
假设我们有一个4元组(a1，a2，a3，a4)。我们如何定义一个函数，kth，给出这个元组中的第k个元素？例如，
kth (1,"A",'b',True) 3 = 'b'
如果a1、a2、a3和a4的类型相同，那么它的定义就相当简单。例如，如果它们都是整数：
kth :: (Int,Int,Int,Int) -> Int -> Int
kth (a1,a2,a3,a4) 1 = a1
kth (a1,a2,a3,a4) 2 = a2
kth (a1,a2,a3,a4)
浏览 0提问于2019-12-04得票数 0
我来自C++，我发现泛型编程是不可或缺的。我想知道在Haskell中人们是如何做到这一点的？
说一下如何在Haskell中编写泛型交换函数？
在Haskell中是否存在部分专业化的等效概念？
在C++中，我可以使用一个特殊的通用map/hash_map容器的特殊函数来部分专门化通用的交换函数，该容器具有一个特殊的交换方法，用于O(1)容器交换。你如何在Haskell中做到这一点，或者在Haskell中泛型编程的规范示例是什么？
浏览 1提问于2008-12-18得票数 11
回答已采纳
1回答
我正在考虑一种新的语言来学习那些在高性能计算机上使用的新语言，在这些语言中，我正在考虑Haskell。
我读过一些关于Haskell的文章，但仍然有一些关于在高性能和分布式计算中使用Haskell的问题，这是以Haskell语言闻名的，但我读到了一些关于Haskell的争论，这些争论对那些类型的系统来说并不好，因为懒惰，我可以用以下几行来总结我的问题：
Haskell使用绿色线程，这对于处理大量并发连接是很好的，但是当其中一个任务花费的时间超过平均值并阻塞其余任务时，整个线程块(Node.js样式)、将下一个任务转发到另一个处理器/线程(Golang)、使用裁减技术(Erlang) (在预
浏览 3提问于2017-06-06得票数 6
回答已采纳
1回答
假设我需要不同的输出，取决于函数的多态参数的类型。我最初的尝试以一些隐秘的错误消息失败了：
choice :: a -> Int
choice (_ :: Int) = 0
choice (_ :: String) = 1
choice _ = 2
但是，通过在不同的数据构造函数中包装所需的类型并使用模式匹配中的类型，我们可以很容易地修复这个问题：
data Choice a = IntChoice Int | StringChoice String | OtherChoice a
choice :: Choice a -> Int
choice (IntChoice _) =
浏览 2提问于2015-05-19得票数 2
回答已采纳
1回答
Haskell中的真同构
、、、
下列断言是正确的：
由Haskell类型系统验证的用户可编程访问的唯一真正的同构( Haskell编译器是/可以知道的)是：
- the **set** of values of a Haskell datatype
- the set of values of types those required by its constructors
即使是泛型编程也不能生成“真”同构，其组合在运行时以标识形式产生(例如 -和Ocaml中的 )。
Haskell本身是唯一产生的同构，Coercible，但是这些同构仅限于同构。
所谓“实同构，用户可编程访问，由Has
浏览 8提问于2022-02-18得票数 0
1回答
我用的是Haskell和OpenGL。OpenGL有一种使用一组统一函数加载变量的方法：
glUniform1i location intValue
glUniform1f location floatValue
glUniform2i location intValue1 intValue2
... etc.
我想把它翻译成更地道的Haskell。我想写一个函数：
uniform :: String -> a -> IO ()
uniform location value = ...
我的问题是，我调用的函数依赖于a的值。是否有一种无需编写n不同函数的方法来做到这一点？
浏览 0提问于2014-02-05得票数 0
回答已采纳
1回答
有关类型实例的详细信息
、、、
我是Elm的初学者，作为前Haskell程序员，我想知道是否有像Haskell那样输入解释器/REPL的方法：
:i number
所以我知道这在埃尔姆不起作用，但是有什么东西相当于哈斯克尔的：
:i Num
我想获得有关类型类及其所有实例的详细信息。
此外，在Haskell文档中，有关于基本Haskell类的类型层次结构的信息：
埃尔姆也能买到这样的东西吗？
提前谢谢。
浏览 2提问于2015-10-13得票数 4
回答已采纳
当我尝试使用Haskell类型，并试图获得那种->时，结果显示：
$ ghci
...
Prelude> :k (->)
(->) :: ?? -> ? -> *
Prelude>
而不是预期的* -> * -> *。什么是??和?？它们是指具体类型还是“种类变量”？还是别的什么？
浏览 1提问于2010-06-14得票数 65
回答已采纳
3回答
我正在尝试编写一个在Haskell中的字符串或数字参数上是多态的函数。
我写了一些不能编译的伪代码：
numDigits strOrNum =
if isString strOrNum then length strOrNum
else isNum strOrNum then length (show strOrNum)
numDigits 1000 -- Should return 4
numDigits "1000" -- Should return 4
注意：isString和isNum不是真正的Haskell函数，它们只是为了演示。
来自Lisp的str
浏览 1提问于2021-05-09得票数 0
在Haskell中，函数是函子，下列代码按预期工作：
(*3) `fmap` (+100) $ 1
当然，输出是303。但是，在Idris (使用fmap ->映射)中，它给出了以下错误：
找不到Functor (\uv => Integer -> uv)的实现
在我看来，在Idris中，函数似乎不是作为函子来实现的，至少不像在Haskell中那样，但是为什么呢？
此外，类型签名(\uv => Integer -> uv)到底意味着什么？它看起来像是一些部分应用的函数，这就是函子实现所期望的，但是语法有点混乱，特别是应该用于lambda/文字的\在那里所做
浏览 0提问于2018-05-09得票数 12
回答已采纳
我正在尝试将一些代码从haskell转换为scala语言。在haskell中，我实现了这样一个枚举类型：
data Rank = Jack | Queen | King | Ace | Num Int deriving (Show, Eq)
我希望在scala中使用已出售的case对象来实现它。
sealed trait Rank
case object Jack extends Rank
case object Queen extends Rank
case object King extends Rank
case object Ace extends Rank
case object
浏览 2提问于2016-02-01得票数 3
回答已采纳
我是哈斯克尔的绝对新手。但我真的很喜欢。我一直在阅读，学习你，一个Haskell和真实的世界，Haskell和一起练习。我正在学习Haskell书中的功能解决问题部分，我需要有人向我解释以下几点：
data Node = Node Road Road | EndNode Road
data Road = Road Int Node
问题：
这是某种递归数据类型的创建吗？
为什么我不能这样做：节点"A“"B"并得到一个有效的节点类型？当我尝试某件事时，我会犯一个错误，说Haskell不能与Char匹配，我明白这一点。但是，我不能创建一个节
浏览 2提问于2015-07-16得票数 1
回答已采纳
我有这两种Haskell数据类型：
data Code
= Code_A | Code_B | Code C
deriving (Eq,Show)
data ListObject = Code | Int
我需要创建一个包含ListObjects的列表。这既是整数值，又是([1,2, Code_A, 3])代码。我知道这应该是可能的，但我就是想不出它的语法。Haskell可以做一些整洁的事情，但是它的语法很糟糕。如果能得到一些帮助，我们将不胜感激。
浏览 0提问于2010-09-16得票数 0
在Haskell中，我定义了一个数据类型"Person“。现在我想要定义一个列表，它可以存储任意数量的人。目标是能够将任意数量的人添加到另一个称为"Class“的数据类型中。
以下是我的尝试：
data Date = DMY
Int -- day
Int -- month
Integer -- year
deriving Show
data Person = Person
String -- first name
String -- last name
Date -- birthday
der
浏览 2提问于2022-10-18得票数 1
回答已采纳
1回答
我是Haskell的新手，我想在Haskell中实现这个C#代码。我想继承字段"title"，或者使其适用于所有产品，但是我创建的所有示例都是关于函数的，而不是字段。
public abstract class Product
{
public string title;
public string getTitle()
{
return title;
}
}
public class Videotape : Product
{
}
public class Book : Product
{
public strin
浏览 3提问于2021-10-03得票数 0
1回答
在Scala中，我可以描述这样的ADT：
sealed trait Foo
case class A(a: Int) extends Foo
case class B(b: String) extends Foo
case class C(a: A, b: B) extends Foo
我怎么能在Haskell做同样的事呢？
data Foo = A Int | B String | C A B
它不起作用，因为A和B不是类型。我应该使用GHC扩展来完成吗？
浏览 0提问于2019-03-23得票数 17
回答已采纳
在Eric的文章匈牙利符号怎么了？中，他指出匈牙利符号(好的)的目的是
将“类型”的概念扩展到除了存储表示信息之外的语义信息。
一个简单的例子是前缀一个变量，它表示X坐标与"x“，一个变量表示Y坐标与"y"，不管这些变量是整数还是浮动或其他，所以当您意外地编写xFoo + yBar时，代码显然是错误的。
但是我也读过关于Haskell类型系统的文章，在Haskell中，我们似乎可以使用编译器将检查的实际类型来完成相同的事情(即“扩展类型的概念以包含语义信息”)。因此，在上面的示例中，如果您正确地设计了程序，Haskell中的xFoo + yBar实际上将无法编译，因为它
浏览 0提问于2011-10-11得票数 29
回答已采纳
4回答
GHCi使用问题
、、
我正在学习Haskell，并使用Emacs+Haskell模式作为我的编辑。
在GHCi中播放了一些简单的表达式之后，我想知道VisualstuidoforF#中是否存在这些IDE/编辑器功能：
我可以将剪贴板中的内容发送到解释器中吗？目前我只能:将文件加载到解释器中。当我在脚本文件中逐步编写函数时，这是不可接受的。比如视觉存根中的“Alt+Enter”。
编译后，我希望看到该函数的签名。
设双x=x+x
这样我就能更好地理解Haskell中的类型推理机制。
浏览 3提问于2010-09-26得票数 1
回答已采纳
下面的例子来自Hudak，Peterson和Fasel的：
data Point a = Pt a a
这个‘`Pt’是什么？它是从哪里来的？什么意思？它是以前定义的吗，还是我们在这里定义了它？它突然出现在文本中，以前没有提到过，谷歌搜索"Pt Haskell“会返回葡萄牙语的Haskell文档;-)
编辑:感谢@unhammer的回复，我现在看到对另一个问题的回答很好地解释了这个问题：
浏览 0提问于2017-11-29得票数 3
在本文件第33页：有以下一句：
Dieser Kontext besagt，Typvariablen nur mit Typen einer bestimmten实例化.
因此，在英语中：“这个上下文规定某些类型变量只能用属于特定类型类(在上下文定义中)的类型来实例化。”
Giesl教授的Haskell讲座(英文)的相应部分是1小时21分钟( )。
有人能解释一下“实例化类型变量”是什么意思吗？
我知道在OO编程的上下文中，实例化这个词意味着什么，即实例化一个类。但是这个词在类型变量的上下文中意味着什么呢？
就我所理解的类型变量实例化的概念而言，只涉及编译时间，更具体地说，涉及类型检查的过程
浏览 1提问于2014-05-17得票数 2
回答已采纳
堆栈溢出派生的定义是：
在Haskell中，派生实例是与数据或newtype声明一起自动生成的实例声明。派生实例声明的正文从语法上从关联类型的定义导出。
老实说，我一点也不明白。
下面的代码摘自：
data BaseballPlayer = Pitcher
| Catcher
| Infielder
| Outfielder
deriving Show
barryBonds :: Baseba
浏览 1提问于2017-06-25得票数 7
回答已采纳
2回答
我试图理解Haskell中的类型模式和泛型类，但似乎无法理解。
有人能用外行人的话来解释吗？
在[1]里我读过
“为了将函数普遍应用于所有数据类型，我们以统一的方式查看数据类型:除了基本的预定义类型(如浮点数、IO和→)之外，每个Haskell数据类型都可以被看作是可能被标记的产品的标记和。
然后提到了Unit，:*:和:+:。上面提到的Haskell版本中的所有数据类型都是自动的吗?如果是的话，我如何确定一个特定的数据类型是如何用:*:来表示的，等等？通用类的用户指南(ch )。7.16)在haskell.org中，没有提到预定义的类型，但是如果类型模式应该是详尽的，那么不应该在每个函数中
浏览 6提问于2010-03-12得票数 0
回答已采纳
如何向Haskell专家解释Scala的类型系统？有哪些例子展示了Scala的优势？
如何向高级Scala实践者解释Haskell的类型系统？在Haskell中可以做哪些在Scala中不能做的事情？
浏览 1提问于2009-11-29得票数 64
回答已采纳
4回答
定义自己的函子
、、、
我一直在努力理解Haskell中的函子是什么，为此，我想要一个函子的例子，没有任何其他属性。
我想出的例子是
data MyFunctor a b = MyFunctor a b deriving Show
instance Functor (MyFunctor a) where
fmap g (MyFunctor a b) = MyFunctor a $ g (b)
我猜这是一个半实用的函子，因为左边的值可以被安全地存储，而右边的值可以在上面运行。然后，我希望在操作之前将左值替换为右值。所以..。
Main> fmap (+2) MyFunctor 2 5
MyFunctor 5
浏览 1提问于2017-06-28得票数 2
回答已采纳
Miran ča的书在一章中说，Haskell的Int类型的概念可以这样表示：
data Int = -2147483648 | -2147483647 | ... | -1 | 0 | 1 | 2 | ... | 2147483647
尽管如此，它说它只是作为示范的目的，但它并没有说明Int是如何定义的。Int是由编译器定义的，还是可以用普通的Haskell代码来定义？
浏览 1提问于2014-02-22得票数 8
回答已采纳
2回答
从C++调用Haskell库
、、、、
我正在用Qt (C++)构建一个应用程序，它使用用Haskell编写的库作为后端。如何将Haskell库的接口导出到C++
当haskell库中的函数使用像int或float这样的简单类型时，这不是一个问题，但是当它们使用结构作为参数时呢？在这种情况下，什么是最可伸缩的解决方案？
浏览 3提问于2013-07-23得票数 16
我是Haskell的初学者，在获得一个由4个空列表组成的元组时遇到了一些困难。下面的代码是我的Haskell程序的全部代码。
import Data.List
import System.IO
l = []
h = []
a = []
x = []
TextEditor = (l, h, a, x)
backspace :: TextEditor -> TextEditor
backspace (TextEditor l h a x) =
(TextEditor(reverse (tail (reverse l))) [] a x)
我会犯多个错误。
Not in sc
浏览 4提问于2016-04-16得票数 0
回答已采纳
我最近在uni上认识了Haskell，我正在做一系列的练习，下面是我无法理解的一个片段：
对于简单的前缀计算器语言，请考虑以下语法：
num ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
int ::= num | num int
expr ::= int | - expr | + expr expr | * expr expr
我对如何将其转换为Haskell语法感到困惑(我完全是Haskell和函数式编程的初学者，请注意)
我怀疑num、int和expr都是可以使用data或type声明的类型/值，它们对计算器施加了约束。然而，我无法理解:我如何为固定
浏览 2提问于2017-10-02得票数 1
3回答
许多介绍性文本会告诉您，在Haskell类型中，签名“几乎总是”可选的。有人能量化“几乎”部分吗？
据我所知，唯一需要显式签名的时候是消除类型类的歧义。(典型的例子是read . show。)还有其他我没想过的案子，还是这件事？
(我知道，如果你超越Haskell，2010年，就会有很多例外。例如，GHC永远不会推断级别-N类型。但排名-N类型是一种语言扩展，还不是官方标准的一部分。)
浏览 4提问于2014-11-21得票数 25
回答已采纳
2回答
学习Haskell基本原理。绝对是Haskell的初学者。如果：
data A
data B
func :: A -> B
func = undefined
实际的功能是什么？虽然我做了大量的练习，取得了很好的结果(也要感谢你)，但我还是被卡住了。字符B是否表示两种不同的类型，如'String‘->’->‘？只是试着让我的头脑明白这一点。
浏览 1提问于2017-09-17得票数 2
这就是我的两难境地:当编译Haskell程序时，会生成可在物理CPU上执行的二进制可执行机器码。当Haskell程序被解释时，物理CPU对来自内存位置的数据执行操作。实际执行发生在某个时间段，该时间段的长度取决于CPU速度。
由于数据是由编译器放入内存中的，编译器保证每个变量都是强类型的，这是否意味着Haskell实际上具有运行时类型？
澄清:我所说的“运行时类型”是指:当程序在物理处理器上执行时，语言编译器在语言编译时可访问/可识别的变量的类型(在类型理论意义上)。
浏览 0提问于2015-02-11得票数 7
1回答
我对Haskell很陌生，我明白它(基本上)是一种纯粹的函数式语言，它的优点是函数的结果不会在多个评估中发生变化。考虑到这一点，我感到困惑的是，为什么我不能轻松地标记一个函数，使它能够记住它第一次评估的结果，并且不必在每次需要它的值时再次进行评估。
例如，在中，有一个用于实现这一点的：
f[x_]:=f[x]= ...
但在哈斯克尔，我发现的最接近的东西是
f' = (map f [0 ..] !!)
where f 0 = ...
f n = f' ...
除了不太清楚(而且显然仅限于Int参数)之外，哪一个问题更不清楚？在交互会话中不保存结果。
诚
浏览 4提问于2015-08-25得票数 5
回答已采纳
如何在Haskell中使用curry和uncurry前置函数？
此外，为什么以下定义在加载时会抛出错误？
curry' :: ((a -> b) -> c) -> a -> b -> c
curry' f = \x y -> f (x, y)
uncurry' :: a -> b -> c -> ((a -> b) -> c)
uncurry' f = \(x,y) -> f x y
浏览 2提问于2014-12-19得票数 3
2回答
在大多数功能语言(包括Haskell )中，定义链接列表类型本身是简单的：
data List a = Nil | Cons a (List a)
但是，我在Haskell教程中找不到显示如何定义自己的数组类型的教程。如何定义数组数据类型，就像我们从无到有地定义自己的列表一样？
Note：我的问题不是如何在Haskell中使用数组，而是理论上如何定义自己的数组类型，就像为List所做的那样，而不使用任何类型的库或内置功能。
浏览 2提问于2014-01-29得票数 6
回答已采纳
1回答
我正在尝试将CSV文件夹解析为不同特定类型的类，然后将其编译成单个XLSX。我使用不同的数据类型来表示记录，因为虽然所有这些数据类型都属于同一类别，但它们具有不同的字段和解析方法： data RecordTypeA = RecordTypeA { ... }
data RecordTypeB = RecordTypeB { ... }
instance MyItemClass RecordTypeA where
...
instance MyItemClass RecordTypeB where
...
-- and loads of instances for parsing,
浏览 15提问于2021-11-15得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
