haskell中的非穷举模式，创建的数据类型
Haskell中的非穷举模式是指在定义数据类型时，可以使用非穷举的方式来创建数据类型的值。这种模式被称为代数数据类型，它可以包含多个构造子，每个构造子可以携带不同的参数。
代数数据类型在Haskell中非常常见，并且是函数式编程的核心概念之一。通过定义代数数据类型，我们可以创建具有不同结构的数据类型，并且可以对其进行模式匹配以进行处理。
代数数据类型可以分为两种类型：代数和数据。代数部分表示构造子的名称，而数据部分表示构造子携带的参数类型。创建代数数据类型的基本语法如下：
data TypeName = Constructor1 Type1 | Constructor2 Type2 | ...其中，TypeName是数据类型的名称，Constructor1，Constructor2等是构造子的名称，Type1，Type2等是构造子携带的参数类型。
非穷举模式的优势在于它可以用于表示具有不同结构和特征的数据。通过模式匹配，我们可以根据不同的构造子和参数类型来执行不同的操作。这种灵活性使得Haskell在处理复杂数据结构时非常强大。
以下是一个示例，展示了如何在Haskell中定义和使用非穷举模式：
data Animal = Dog String | Cat String | Bird String
makeSound :: Animal -> String
makeSound (Dog name) = "Woof, " ++ name ++ "!"
makeSound (Cat name) = "Meow, " ++ name ++ "!"
makeSound (Bird name) = "Chirp, " ++ name ++ "!"
main = do
putStrLn (makeSound (Dog "Buddy"))
putStrLn (makeSound (Cat "Whiskers"))
putStrLn (makeSound (Bird "Tweetie"))在上面的示例中，我们定义了一个Animal数据类型，它有三个不同的构造子：Dog，Cat和Bird。每个构造子都携带一个String类型的参数，表示动物的名字。
然后，我们定义了一个makeSound函数，根据不同的动物构造子来生成不同的声音。最后，在main函数中，我们使用了不同类型的动物来测试makeSound函数。
在腾讯云的产品中，没有直接与Haskell相关的产品，但可以通过腾讯云提供的弹性计算服务和容器服务来部署和运行Haskell应用程序。具体的产品和介绍可以参考腾讯云的官方文档。
相关·内容
2回答
我正在尝试在Haskell中合并两个排序列表。这两个列表必须包含相同的类型，但函数需要接受不同类型的列表。
这就是我所得到的(我知道我需要一些代码来避免试图从空列表中取出元素)：
merge :: Ord a => [a] -> [a] -> [a]
merge [] [] = []
merge (h:first) (c:second) | h <= c = h:merge first (c:second)
| h > c = c:merge (h:first) second
main = merge ['a',
浏览 0提问于2011-12-03得票数 5
回答已采纳
1回答
尝试使用Chart学习Haskell。构建过程中的包中断：
/private/var/folders/m2/qwhdrn_d46z99_3vxchdwn7r0000gn/T/stack5630/Chart-1.9/Graphics/Rendering/Chart/State.hs:102:3: error:
• No instance for (Control.Monad.Fail.MonadFail Identity)
arising from a do statement
with the failable pattern ‘(c : cs)’
浏览 5提问于2019-03-26得票数 2
关于“Haskell编程”中的第一个代码示例，说明如下：
回忆本章前面使用的函数和，它生成一个数字列表的和。在Haskell中，可以用两个方程来定义和：
sum [] =0和(n: ns ) =n+和ns
立即，这段代码在ghci解释器和编译时都失败，错误是：“函数和中的非穷尽模式”。
经过进一步的研究，这似乎是因为一个数字的情况没有包括在内。让我感到惊讶的是，书中接下来的几个例子也不起作用。
我是不是漏掉了什么？这本书最近才在2016年出版，我找不到其他人抱怨这一点。
浏览 1提问于2020-06-21得票数 3
回答已采纳
这个问题在这里已经有答案了 ： 对于非穷举模式的更好的异常处理，以防万一 (2个答案) 昨天关门了。 我正在学习Haskell并致力于 汉明距离练习 ..。 module Hamming (distance) where
distance :: String -> String -> Maybe Int
distance (x:xs) (y:ys)
| lengthX /= lengthY = Nothing
| lengthX == 0 = Just 0
| otherwise = Just (headDistance + t
浏览 27提问于2021-03-01得票数 1
回答已采纳
3回答
我正在做一个关于模算术的项目。当我调用这个函数时，我遇到了模式匹配问题。下面是Modular类型的构造函数。madd接受两个Modular类型的实例，并假设将它们相加，返回Modular类型。
data Modular = Mod Integer Integer deriving Show
instance (Eq Modular) where
(Mod a1 m1) == (Mod a2 m2) = m1==m2 && mod (a1-a2) m1 == 0
-- Adds two modular numbers of the same modulus
madd ::
浏览 0提问于2013-11-24得票数 1
在Haskell中，我想编写一个递归函数，对于给定的数字列表，该函数更改子列表中每个元素的符号：
list = [[1, 3, 6.7, 7.0], [], [1, 8.22, 9, 0]]
multiply (x:xs) = [n * (-1) | n <- x] : multiply xs
但我发现了一个错误：
[-1.0、-3.0、-6.7、-7.0、[]、-1.0、-8.22、-9.0、-0.0 *例外:learning.hs ning.hs:26:1-48:函数乘法中的非穷尽模式
有人能告诉我，我如何处理空子列表的异常？
浏览 2提问于2021-09-06得票数 3
让我们假设我们有一个由枚举值索引的映射，如下所示
sealed trait A
case object B extends A
case object C extends A
type SafeMap = Map[A, String]
有没有可能以某种方式强制执行这种映射的穷举性？也许可以使用依赖类型？如果不是在Scala中，那么Idris也很有趣。
为了澄清，我希望对任何ADT都有一个通用约束，以检查Map是否为每个ADT变体定义了一个条目。
浏览 1提问于2018-03-28得票数 0
根据Haskell文档，。
创建一个定制的列表实现(比如IntList )是否有意义，它只是Int的专用列表类型？一个已经存在了吗？
浏览 3提问于2014-11-26得票数 5
回答已采纳
在Haskell中，如果我创建这样一个dataype：
data MyT = MyT Int deriving (Show)
myValue = MyT 42
我可以让Int值将'myValue‘传递给一个函数并执行模式匹配：
getInt :: MyT -> Int
getInt (MyT n) = n
在我看来，更简单的事情应该是可能的。还有别的办法吗？
此外，我尝试了lambda函数：
(\(MyT n) -> n) myValue
这不管用，我也不明白为什么不行。我知
浏览 4提问于2014-04-13得票数 2
回答已采纳
所以我决定和Haskell玩玩。我正在尝试解决Project Euler上的第一个问题。以下是我的代码：
euler1 limit (div:divisors) = if limit > 1 then (euler1 limit divisors) + (euler1 limit (div:[])) + (euler1 (limit-1) (div:divisors)) else 0
euler1 limit (divisor:[]) = if limit > 1 && (mod limit divisor) == 0 then limit el
浏览 0提问于2013-02-08得票数 2
回答已采纳
2回答
当GHCi在运行时发现某个调用产生的值与函数的模式匹配不匹配时，有没有办法让它生成更好的异常消息？
它目前给出了产生非穷举模式匹配的函数的行号，虽然有时很有用，但有时确实需要一轮调试，有时我觉得这是在一遍又一遍地做相同的事情。因此，在我试图组合一个解决方案之前，我想看看是否存在其他东西。
除了给出行号之外，还会显示一条异常消息，显示它试图进行的呼叫类型？
这有可能吗？
浏览 0提问于2010-04-29得票数 9
回答已采纳
我正在研究Graham Hutton的Haskell一书，在他的递归章节中，他经常对"n+1“进行模式匹配，例如：
myReplicate1 0 _ = []
myReplicate1 (n+1) x = x : myReplicate1 n x
为什么会这样，而不是下面这些：(1)在功能上看起来是相同的，(2)在理解递归发生了什么方面更直观：
myReplicate2 0 _ = []
myReplicate2 n x = x : myReplicate2 (n-1) x
我是不是漏掉了什么？或者这只是一个风格问题？
浏览 1提问于2010-05-07得票数 7
回答已采纳
1回答
我试图将一个列表元组转换成一个列表，但是我没有任何成功，所以我有了这个功能
func :: ([a],[a]) -> [a]
获取输入，如：
( 1,2,3,4，7,8,9 )
并应返回：
1,7,2,8,3,9,4
而且我有
func (x:xs , y:ys) = x : y : func (xs, ys)
我得到的结果是：
[1，7，2，8，3，9*例外: hw2.hs:29:1-54:非详尽的函数模式c
我知道我犯了这个错误，因为列表的大小不一样，你们认为我怎么能解决这个问题？
浏览 7提问于2016-02-22得票数 1
回答已采纳
2回答
Haskell中的‘嵌套’模式是什么？我在任何地方都能听到这个词，但我不知道它到底意味着什么。你会怎么定义它？有什么例子吗？
提前谢谢。
编辑后添加：(应要求在教科书中引用)
“模式可以包含文字和嵌套模式，如示例中所示：
addPair (0,y) = y
addPair (x,y) = x+y
shift :: ((Int,Int),Int) -> (Int,(Int,Int))
shift ((x,y),z) = (x,(y,z))
浏览 6提问于2011-05-08得票数 5
回答已采纳
2回答
我想把一个列表作为参数传递给一个函数，这个函数将这个列表中的每个元素乘以3。我必须使用递归(我知道怎么做)和map函数(有一个问题)。 我尝试将列表作为参数传递，就像我在其他帖子中看到的那样，但它不起作用。 fun x = 3 * x + 1
mult :: [Int] -> [Int]
mult [a] = map fun [a] 我尝试过的代码显示: Exception: x: function mult中的非穷举模式
浏览 25提问于2019-06-14得票数 0
回答已采纳
对于Haskell中的类型和数据类型之间的区别，我有点困惑。
从我所遇到的文献中，我得到的印象是它们是不同的概念。
浏览 2提问于2011-10-27得票数 48
回答已采纳
3回答
我想在Haskell项目中使用外部库。
上下文:我正在和Linux64位上工作，使用GHC7.10和。RDFox是用C++编程的。RDFox共享库(.dll，.so)可以通过Java和Python下载。
目标：--我希望在Haskell项目中重用来自RDFox (.dll，.so)的编译库，因此我需要为RDFox创建一个Haskell包装器。
问题：对于Haskell来说是相对较新的，我很难知道从哪里开始。我找到了关于这个主题的几个页面(来自Haskell和StackOverflow)，但是我不清楚工作流程和配置。
问题：我想知道：
如何将堆栈和阴谋配置为使用外部库、在Window
浏览 3提问于2015-07-03得票数 44
5回答
什么是Haskell中的模式匹配?它与防护方程有何关系？
我试着寻找一个简单的解释，但我没有找到。
编辑:被标记为家庭作业的人。我不再上学了，我只是在学习Haskell，我正在努力理解这个概念。纯粹出于兴趣。
浏览 6提问于2010-02-09得票数 45
回答已采纳
3回答
我发现Haskell和Perl6最有趣的特性之一是能够将计算值推迟到实际需要的时候。
另一方面，Perl5喜欢立即完成所有事情，但据我所知，它包含了用于惰性评估的所有必要的原语。这些措施是：
在子例程中对@_的引用创建一个数组引用，该数组引用被别名为其参数列表中的标识符，即使其中一些标识符尚未包含值。
从内部保存\@_的子程序返回重载/绑定对象，然后在需要时取消引用。(还有各种不同的CPAN模块，它们抽象出了绑定/重载细节)
我一直在用Perl进行各种懒散编程技术的实验(我在工作中有一个模块，它在Perl5中实现了相当一部分Haskell (比如协同递归:定义斐波纳契序列的$_
浏览 2提问于2010-12-07得票数 6
回答已采纳
我试图创建一个函数来验证列表中是否存在节点(我正在处理图表)：
buscaNodo :: [(Nodo,Peso)]->Nodo->Bool
buscaNodo _[] = False
buscaNodo ((a,b):ar) n
|(n == a)= True || (buscaNodo ar n)
|(n /= a)= False || (buscaNodo ar n)
|otherwise = False
该函数返回一个始终存在于列表中的节点的真实值；但是如果列表中不存在节点，则haskell向我显示一个错误:函数busca
浏览 3提问于2014-07-15得票数 0
回答已采纳
在Haskell中定义的以下数据类型为：
type Tag = String
type Content = String
data HTML = B Tag Content | R Tag HTML
但是在VB.Net中我不能定义递归结构。我不知道如何定义"|“，这是Haskell中的一种”或“/”联合“。
浏览 0提问于2016-12-08得票数 0
假设我在Java中有这样的东西：
class A {
int v;
public A(int v) {
this.v = v;
}
public int a() {
return v;
}
}
class B extends A {
public B(int v) {
super(v);
}
@Override
public int a() {
return super.a() + 5;
}
}
我怎么能在Haskell做类似的事？我有一个非常基本
浏览 2提问于2015-11-08得票数 0
回答已采纳
如果我们运行以下Haskell代码：
data R = R {μ :: Double} deriving Show
main = print $ show $ R 3
我们得到：
"R {\956 = 3.0}"
处理Showing的Unicode名称的好方法是什么？
浏览 2提问于2014-08-18得票数 3
回答已采纳
2回答
与非文字值匹配 在Ocaml (reasonml)中，我能够匹配整数值，例如， switch (x) {
| 0 | 1 => "small"
| _ => "large"
} 但是，假设我现在将我的数字类型切换为类似Zarith的类型。如何与上面的值进行匹配？ 有比使用| x when x == SomeNumberModule.of_int(0) || x == SomeNumberModule.of_int(1) => ...更好的方法吗？
浏览 14提问于2019-01-10得票数 0
1回答
我创建了一个包含两个列表的虚拟函数，如下所示：
# let rec test ([a;b]) = match [a;b] with
[] -> []
| h::t ->
if ((List.length h) > 0) then
[List.hd a]
else
[]
;;
作为回报，我得到了这个警告：
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value t
浏览 3提问于2017-11-01得票数 0
回答已采纳
是否建议在Haskell中始终使用详尽的模式匹配，即使是在“不可能”的情况下？
例如，在下面的代码中，我在一个foldr的“累加器”上进行模式匹配。我完全控制了累加器的内容，因为我创建了它(它不是作为输入传递给我的，而是在我的函数中构建的)。因此，我知道某些模式永远不应该与之匹配。如果我力争永远不会得到"Pattern match(es) are non-happen“错误，那么我会为它放置一个简单的错误模式匹配，消息是"This pattern should error”。很像C#中的断言。我想不出在那里还能做什么。
在这种情况下，您会推荐什么实践?为什么？
代码如下：
gb
浏览 0提问于2009-05-07得票数 19
回答已采纳
在一个辅助函数中，我正在进行模式匹配来修改数据结构。我想修改数据结构，然后返回修改后的数据。在我的方法中，返回类型是unit()。我需要它返回修改后的hash_table。 我试过了： let helperfunction firstlist secondlist hash_table =
match(firstlist, secondlist) ->
| (CUSTOMTYPE::tail, CUSTOMOBJA(a)::CUSTOMOBJB(b)::anotherTail) -> Hashtbl.add hash_table "key
浏览 7提问于2021-04-29得票数 0
回答已采纳
如何向Haskell专家解释Scala的类型系统？有哪些例子展示了Scala的优势？
如何向高级Scala实践者解释Haskell的类型系统？在Haskell中可以做哪些在Scala中不能做的事情？
浏览 1提问于2009-11-29得票数 64
回答已采纳
2回答
我正在尝试创建一种类似于Rust的Result或Haskell的Either的类型，并且我已经做到了这一点：
public struct Result<TResult, TError>
where TResult : notnull
where TError : notnull
{
private readonly OneOf<TResult, TError> Value;
public Result(TResult result) => Value = result;
public Result(TError error)
浏览 0提问于2019-11-14得票数 12
回答已采纳
2回答
我刚开始学习haskell和模式匹配。我只是不明白它是如何实现的，[]和(x:_)的计算结果是不同的类型，这种模式的函数实现由于多态性而被识别，或者我错了，还有另一种使用的技术。
head' :: [a] -> a
head' [] = error "Can't call head on an empty list, dummy!"
head' (x:_) = x
或者让我们考虑这个模式匹配函数：
tell :: (Show a) => [a] -> String
tell [] = "The list i
浏览 6提问于2014-02-15得票数 2
回答已采纳
阅读“真实世界Haskell”，我发现了一些关于数据类型的令人费解的问题：
这种模式匹配和位置数据访问使您看起来在数据和操作它的代码之间有着非常紧密的耦合(尝试向Book添加某些内容，或者更糟糕的是更改现有部件的类型)。
在命令式(特别是OO)语言中，这通常是一件非常糟糕的事情。这难道不是Haskell的一个问题吗？
实际上，在编写一些Haskell程序时，我发现，当我对数据类型结构进行小的更改时，几乎所有使用该数据类型的函数都会受到影响。也许有一些数据类型使用的好做法。如何将代码耦合降到最低？
浏览 0提问于2010-12-12得票数 12
回答已采纳
7回答
Haskell代数数据类型
、、、、
我正在尝试完全理解Haskell的所有概念。
代数数据类型在哪些方面类似于泛型类型，例如，在C#和Java中？它们又有什么不同呢？它们到底有什么代数性呢？
我熟悉通用代数和它的环和域，但我对Haskell的类型如何工作只有一个模糊的概念。
浏览 0提问于2008-08-19得票数 62
回答已采纳
4回答
今天我开始学习Haskell。我是函数式语言的新手，我非常喜欢Haskell。
然而，我对它的设计有一个问题，这个问题困扰着我:到目前为止，根据我的理解，它看起来像是访问列表后面的元素，比访问前面的元素要复杂得多(比如xs:x，xs::[a]和x::a似乎是不可能的)。
(据我所知)可以将一个列表附加到另一个列表(xs++[a])，但它在运行时的开销会更大(它需要遍历整个列表)，并且它不能用于模式匹配。
为什么Haskell遗漏了这样的操作？
浏览 0提问于2011-01-23得票数 3
回答已采纳
我刚刚开始学习haskell，并为任何函数编写了自定义代码。请建议，为什么它仍然显示出非详尽的模式错误，即使在我已经使用了其他或我要出错的地方？
引发的异常:- Exception: main.hs:(37,1)-(40,21)：函数myAny中的非穷举模式
myAny :: (a -> Bool) -> [a] -> Bool
myAny f (x:xs)
| f x == True = True
| f x == False = myAny f xs
| otherwise = False
浏览 1提问于2020-02-17得票数 1
回答已采纳
1回答
我给我的函数一个list作为参数，但我知道它可以是空的list，也可以是只有一个元素的list。
当我进行模式匹配时，我得到了一个关于非穷举模式的警告。我可以忽略它，代码可以工作，但是有什么惯用的方法来做到这一点呢？
浏览 0提问于2019-12-24得票数 3
我正在学习Haskell并遇到了这个问题。不使用存在类型，我们如何将下面的OOP伪代码转换为Haskell？不是在Haskell中简化OOP概念的方法，而是正确的Haskell方法。
class MetricQuery { ... }
abstract class Metric[T] {
def computeValue(q: MetricQuery): T
}
class LinkClicksMetric extends Metric[Int] { ... }
class ButtonClicksMetric extends Metric[Int] { ... }
class Pos
浏览 0提问于2018-08-11得票数 1
回答已采纳
2回答
为了完成我对函数式编程的介绍，我正在为明天的测试而训练，但有一件事我不明白。
每当我有这样的节目：
test [] = []
test (x:xs) = test (xs)
他所做的就是将第一个元素从列表中删除，然后继续其他元素。只要只剩下一个，xs就应该是[]，而后者又应该触发test [] = []。但是每当我运行这个算法时，我就会得到一个错误。Exception: <interactive>:20:5-16: Non-exhaustive patterns in function test.
我在网上找不到明确的解释。有人能给我发个链接吗?请给我解释清楚，或者给我解释一下？
浏览 0提问于2014-09-26得票数 11
回答已采纳
在Haskell中，每当我们需要一些变体数据类型时，我们都会将与模式匹配结合使用。Clojure人员在这样的用例中使用了什么？
浏览 1提问于2010-08-22得票数 15
哪些属性应该将Haskell modules放在名称空间而不是Control而不是Data下，反之亦然？任何指导方针或见解都是非常感谢的。
浏览 1提问于2014-10-12得票数 2
查看以下代码：
data Point = Point Float Float deriving (Show)
data Shape = Circle Point Float | Rectangle Point Point deriving (Show)
它是从这本书中学到的Haskell for Great Good，它伴随着下面的代码示例：
注意，在定义点时，我们为数据类型和值构造函数使用了相同的名称。这没有什么特别的意义，不过，如果只有一个值构造函数，则通常使用与类型相同的名称。
现在我的假设是data Point = ...是数据类型，... = Point Float.
浏览 6提问于2016-06-20得票数 14
回答已采纳
我是Haskell的新手，希望这个问题不是愚蠢的。
我见过这么多的例子，当我有一个列表时，我能够将列表的“组合元素”匹配并绑定到单个变量：
listSizeDesc :: [a] -> String
listSizeDesc [] = "Emtpy"
listSizeDesc (x:xs) = "Something inside"
但是，我尝试这样做：
foo :: Int -> String
foo 0 = "Zero"
foo (n - 1) = "next number is " ++ show n
它不起作用。
浏览 2提问于2011-11-03得票数 19
回答已采纳
我在Haskell中定义新的数据类型时遇到了问题。
我正在尝试创建一个数据类型NumPair，它将是一个包含两个整数或一个整数和另一个NumPair的元组。
例如，(2, 2), (0, 5), (1, (2, 3)) and (0, (4, (3, 121)))应该都是有效的NumPairs。
这是我写的代码，试图做到这一点：
data NumPair = (Int, Int) | (Int, NumPair) deriving (Eq, Show)
有人能解释一下为什么这个不起作用吗?我应该怎么做？
浏览 0提问于2012-11-06得票数 11
回答已采纳
我定义了一个类型
data Expr =
Const Double
| Add Expr Expr
| Sub Expr Expr
并将其声明为Eq类型类的实例：
instance Eq Expr where
(Add (Const a1) (Const a2)) == Const b = a1+a2 == b
(Add (Const a1) (Const a2)) == (Add (Const b1) (Const b2)) = a1+a2 == b1 + b2
当然，表达式Sub (Const 1) (Const 1) == Const 0的计算将
浏览 0提问于2012-03-31得票数 8
回答已采纳
我读过关于抽象工厂模式的文章，但它的唯一答案是在Haskell中模仿OOP语言中的内容(尽管前面的单词与您在Haskell中不需要的大致相同)。
另一方面，我的意图并不是在Haskell这样的函数式语言上强制使用特定于OOP的模式。恰恰相反，我想了解是如何通过工厂模式来解决OOP中的需求的。
我觉得在哈斯克尔，即使是这些需求，从一开始也是没有意义的，但我无法更好地表述这个问题。
我对工厂模式的结构的理解(基于，这似乎相当清楚)是
有很多不同的产品，它们都实现了一个公共接口
有许多不同的创建者类，它们都实现了一个公共接口
2中的每个类都隐藏了一个逻辑，以创建1 中的那些类的乘积
浏览 7提问于2021-02-26得票数 6
回答已采纳
2回答
我正在尝试编写一个haskell函数，它将返回整数二叉树中的最大int。我的二叉树定义如下：
data Tree = Node Int Tree Tree | Leaf Int
deriving (Eq,Show)
我对这个声明的理解是，对于'Tree‘数据类型，它可以是一个单叶int，也可以是一个包含两个以上树的子树。所以我的maxInt函数看起来像这样(我想)
maxInt :: Tree -> Int --maxInt function receives Tree, returns int
maxInt --something to detect if the T
浏览 27提问于2018-01-21得票数 0
我试图在函数拆分中匹配**String Newline String**模式。
split::String -> [String]
split[] = []
split (x++'\n':xs) = [x]++split(xs)
我得到了一个错误：Parse error in pattern: x ++ ('\n' : xs)
我在这里做错什么了？
我知道还有其他方法可以达到同样的效果，但我想了解这个模式有什么问题。我对Haskell BTW相当陌生。
浏览 1提问于2015-12-11得票数 6
回答已采纳
我在Haskell中编写了以下数据类型及其实例：
data Plaster = Plaster [String] deriving (Read, Show)
examplePlaster :: Plaster
examplePlaster = Plaster ["..AEG", "..CD", "DC...", "A.B.", "..EFG"]
我想创建一个函数，该函数应用于examplePlaster返回列表中的第一个字符串。我该怎么做呢？
浏览 0提问于2017-06-16得票数 0
在Haskell中编写插入和成员操作。确保在ML和Haskell中，Set数据类型与列表不同。在Haskell中，将Set类型定义为类Eq和Show的实例。
let setAdd l n = if (elem l n) then l else l ++ [n]
let setMember l i = l !! i
我上面写的代码只是使它具有在列表上执行的功能。
有办法把这个变成课堂吗？对不起，我只是在学习函数式编程。是否有一种方法可以实际创建具有成员变量(例如list )的Set类？
浏览 0提问于2016-03-07得票数 0
回答已采纳
2回答
这是我的功能。
toResult :: [SqlValue] -> IO Course
toResult [ fromSql -> courseid, fromSql -> title,
fromSql -> name, fromSql -> version,
fromSql -> cdate, fromSql -> fid ] = do
let courseXML = show (fid :: Int)
xml <- B.readFile courseXML
let Right doc
浏览 1提问于2016-04-02得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
