Haskell数据类型模式匹配

文章/答案/技术大牛

发布

1回答

Haskell能像球拍一样在S-表达式上匹配吗？

haskell、s-expression

我三天前才开始学习Haskell，目标是为Haskell的一些自定义语义提供一个解释器。我有Racket实现的解释器，match匹配的S-表达式在球拍是相当方便的。说到Haskell，我不太确定是否存在类似的东西？或者我必须编写一些数据类型并将S-表达式解析为定义的数据类型，然后在Haskell中使用一些匹配机制？我想要匹配的东西(在球拍中)，例如，如果有一个输入(来自文件或站立输入)，比如：(lambda (v1 v2) (+ v1

浏览 2提问于2011-06-06得票数 0

2回答

Haskell如何从文件中读取S表达式？

haskell

Haskell能读懂这些s表达式吗？我需要这些s表达式作为执行Haskell程序的匹配模式(假设这些s表达式已经是我的haskell程序数据类型的格式)。例如，文件中的S表达式是：ArithBiOp Plus (AInt 5) (AInt 5)，那么在haskell程序中，我可以将此行匹配为ArithBiop opcode oprand1 operand2

浏览 0提问于2011-06-22得票数 2

回答已采纳

5回答

Clojure是Haskell的ADT和模式匹配的替代品？

haskell、clojure、functional-programming、pattern-matching、abstract-data-type

在Haskell中，每当我们需要一些变体数据类型时，我们都会将与模式匹配结合使用。Clojure人员在这样的用例中使用了什么？

浏览 1提问于2010-08-22得票数 15

3回答

Haskell数据类型使用良好实践

haskell、algebraic-data-types

阅读“真实世界Haskell”，我发现了一些关于数据类型的令人费解的问题：实际上，在编写一些Haskell程序时，我发现，当我对数据类型结构进行小的更改时，几乎所有使用该数据类型的函数都会受到影响。也许有一些数据类型使用的好做法。如何将代码耦合降到

浏览 0提问于2010-12-12得票数 12

回答已采纳

2回答

在同一个函数中处理多个不同的数据类型

haskell

在haskell中，是否有可能为输入和输出创建一个能够处理多种不同数据类型的函数？例如，让我们假设一个函数能够对Char和Int分别返回两种数据类型进行模式匹配。

浏览 5提问于2021-09-14得票数 2

回答已采纳

2回答

clojure析构与类似haskell的参数模式匹配

haskell、clojure、functional-programming

来自Haskell的我发现在Clojure中很难遍历某些数据类型。在Haskell中，如果我喜欢对某个类型进行递归，最基本的情况是foo (x : y : xs) = bar y (foo xs) foo但我认为Clojure的破坏并不像Haskell的模式匹配那样强大。有一个很好的习惯方式来完成我想做的事情吗？举个例子，如果我有一个列表/向量，那么当没有更多的元素时，如何匹配一个案例呢？

浏览 3提问于2014-02-27得票数 3

回答已采纳

2回答

为什么我们需要“代数数据类型”？

scala、haskell、algebraic-data-types

我读过一些关于代数数据类型的解释：起初，我认为代数数据类型只是为了简单地定义某些类型，我们可以通过模式匹配来匹配它们。但在阅读了这些文章后，我发现“模式匹配”甚至没有提到，内容看起来很有趣，但比我预期的要复杂得多。因此，我有一些问题(在这些文章中没有得到回答)：如果我们有它，我们能做什么，如果我们没有它，我们

浏览 2提问于2015-08-01得票数 13

2回答

Haskell中树的右旋转:它是如何工作的？

syntax、haskell、functional-programming、binary-tree

我不懂haskell语法，但我知道一些FP概念(如代数数据类型、模式匹配、高阶函数等)。data Tree ? = Leaf ? | Fork ?第二行包括模式匹配(我也不明白为什么我们需要在这里使用模式匹配)。对于非haskell开发人员来说，第三行代码做了一些绝对不可读的事情。

浏览 2提问于2010-06-10得票数 2

回答已采纳

1回答

在haskell中构造二进制数

haskell、pattern-matching

我是Haskell编程语言的新手，我试图创建一个数据类型来表示二进制数，并编写一个函数来计算它的十进制值。我想用二进制数来表示这个BNF我在haskell中使用模式匹配和字段标签构建了它的数据类型，如下所示但是我得到了一个编译错误“值的异常有不同数量的参数” 我试图弄

浏览 1提问于2014-10-05得票数 0

回答已采纳

1回答

用于记录访问器继承的模板Haskell函数

haskell、template-haskell

我有两种数据类型，A和B，我将它们定义为：data B = B { bFoo :: Int, bBar :: String现在我需要创建一个A和B的异构列表，因此我将sum类型C定义为：我现在要定义函数cBar :: C -> StringcFoo (CB b) = bFoo b cBar (C

浏览 3提问于2015-08-17得票数 0

回答已采纳

3回答

没有模式匹配的数据类型的使用值

haskell、types、pattern-matching、ghc

在Haskell (使用ghc)中，有没有任何方法可以直接使用数据类型的值，而不使用模式匹配，比如在面向对象的编程语言中(例如obj.a或obj->a)？

浏览 5提问于2012-05-16得票数 1

2回答

为什么类型匹配而不只是模式匹配呢？

haskell、pattern-matching、typeclass

Haskell委员会选择以类型类的形式而不是基于模式匹配的更统一的解决方案来要求显式接口是否有特定的原因？-- 1也就是说，如果Haskell允许对普通数据类型进行模式匹配，那么： (SupportsEqualsEquals a => ...)Default 程序员可以创建特殊类，即instance

浏览 4提问于2012-02-02得票数 7

回答已采纳

2回答

模式匹配如何处理列表？

list、haskell、pattern-matching

我刚开始学习haskell和模式匹配。我只是不明白它是如何实现的，[]和(x:_)的计算结果是不同的类型，这种模式的函数实现由于多态性而被识别，或者我错了，还有另一种使用的技术。head' (x:_) = x tell :: (Show a) => [a] -> String tell [] = "The list is empty"你能解释一下haskell是如何知道哪种模式</

浏览 6提问于2014-02-15得票数 2

回答已采纳

2回答

Haskell中的类型模式和泛型类

generics、reflection、haskell

我试图理解Haskell中的类型模式和泛型类，但似乎无法理解。“为了将函数普遍应用于所有数据类型，我们以统一的方式查看数据类型:除了基本的预定义类型(如浮点数、IO和→)之外，每个Haskell数据类型都可以被看作是可能被标记的产品的标记和。上面提到的Haskell版本中的所有数据类型都是自动的吗?如果是的话，我如何确定一个特定的数据类型是如何用:*:来表示的，等等？通用类的用户指南(c

浏览 6提问于2010-03-12得票数 0

回答已采纳

2回答

haskell中的固定长度循环缓冲区

haskell

我想在Haskell中创建一个通用类型的定长循环缓冲区。缓冲区中的项需要在物理内存(非链表)中一个接一个地定位。我想要这种特定的结构，因为它将提高所有数据一起进入CPU上的L2缓存的机会。我读过关于Haskell如何允许新的数据类型的文章，但是看起来使用" data“创建的类型比使用模式匹配和相关方法美化的c结构要多一些。有没有可能在Haskell中完全创建像上面描述的那样的低级数据结构。

浏览 0提问于2011-06-29得票数 9

回答已采纳

1回答

等同于代数数据类型的晶体

crystal-lang

在Crystal中编写代数数据类型的等价物的惯用方法是什么？例如，在Haskell中，我可能会所以我希望有两个阶段，每个阶段都有一个字符串负载。稍后，我想在舞台上进行模式匹配。你将如何在Crystal中编写这段代码？

浏览 4提问于2018-02-27得票数 5

回答已采纳

3回答

中缀模式匹配

haskell、functional-programming、algebraic-data-types

我有时在Haskell编程时遇到的一个问题是，有时我想要将模式与值进行匹配，但我只对值是否与模式匹配的真-假信息感兴趣(例如，特定的数据类型构造函数)。Bool isGreyscale _ = False 然而，我希望在不创建不必要的辅助函数的情况下进行模式匹配

浏览 34提问于2020-01-09得票数 1

2回答

haskell、pattern-matching

让我们假设你有SSliteral Valuedata Value=现在假设您有一个类型为SS的n。你想得到SS的Int值，你会怎么做呢？

浏览 0提问于2010-11-09得票数 1

4回答

如何根据用户定义的数据类型编写函数返回Integer或Bool？

haskell、functional-programming、polymorphism

给我一个数据类型，如下所示 BoolVal Bool我正在尝试编写一个函数我试着用模式匹配来实现getVal (Bool bool) = bool 但是Haskell抱怨返回类型无法与预期的类型'Integer‘与actuall类型'Bool’相匹配。

浏览 8提问于2015-11-29得票数 3

回答已采纳

3回答

函数上的模式匹配

haskell、functional-programming、pattern-matching

我有一个函数，dir_con :: (Int -> Dir)data Dir = Define Int | Data Int case dir_con of _ -> Do so

浏览 1提问于2013-03-16得票数 2

回答已采纳

点击加载更多

Haskell能像球拍一样在S-表达式上匹配吗？

Haskell如何从文件中读取S表达式？

Clojure是Haskell的ADT和模式匹配的替代品？

Haskell数据类型使用良好实践

在同一个函数中处理多个不同的数据类型

clojure析构与类似haskell的参数模式匹配

为什么我们需要“代数数据类型”？

Haskell中树的右旋转:它是如何工作的？

在haskell中构造二进制数

用于记录访问器继承的模板Haskell函数

没有模式匹配的数据类型的使用值

为什么类型匹配而不只是模式匹配呢？

模式匹配如何处理列表？

Haskell中的类型模式和泛型类

haskell中的固定长度循环缓冲区

等同于代数数据类型的晶体

中缀模式匹配