如何针对荒诞/不可构造的类型进行模式匹配？
针对荒诞/不可构造的类型进行模式匹配可以通过以下方式：
- 异常处理：对于无法匹配的类型，可以抛出异常并进行相应的错误处理。这种方式适用于对于不可预测的类型进行处理，但需要在代码中显式地处理异常情况。
- 默认值或占位符：可以为荒诞/不可构造的类型设置一个默认值或占位符，以便在模式匹配时使用。这种方式适用于对于无法匹配的类型进行处理，可以提供一个合理的默认值或占位符，以确保程序的正常运行。
- 类型转换或适配器：如果荒诞/不可构造的类型可以转换为其他可匹配的类型，可以使用类型转换或适配器来将其转换为可匹配的类型，然后进行模式匹配。这种方式适用于对于类型之间存在一定关联性的情况，可以通过转换或适配器来实现匹配。
- 扩展模式匹配：如果语言或框架支持扩展模式匹配，可以自定义匹配规则来处理荒诞/不可构造的类型。这种方式适用于对于特定类型的模式匹配需求较高的情况，可以根据实际需求扩展模式匹配的能力。
需要注意的是，针对荒诞/不可构造的类型进行模式匹配时，应根据具体情况选择合适的处理方式，并确保代码的可读性和可维护性。在腾讯云的云计算领域，可以使用腾讯云函数（SCF）来实现针对不同类型的事件进行模式匹配和处理，详情请参考腾讯云函数产品介绍：https://cloud.tencent.com/product/scf
相关·内容
模式匹配很奇怪。它涉及到一个看似简单的数学问题，即为一个事物找到一个表示。
例如，对于给定的整数b，每个整数a都可以以a= bq + r的形式表示，0 <= r<b是唯一的。要找到Q和r，需要使用除法算法。关键词是“算法”
所以，当您在Haskell中执行模式匹配表达式时，比如将一个元组表示为(a，b)，是否有一个算法在幕后运行？
算法必须总是简单的，即O(1)，还是至少在某个地方有文档记录？
如何保证对表示法的唯一提升？
浏览 0提问于2015-02-23得票数 2
回答已采纳
我有两个“函数”：is_three和一些
fun is_three(number) =
case numbers of
3 => true
| _ => false
当我写以下两条语句时，我得到了以下信息：
is_three;
val it = fn : int -> bool
SOME;
val it = fn : 'a -> 'a option
从表面上看，它们似乎都是返回值的函数。但是，如果我尝试在case语句中使用is_three，则会得到以下结果：
stdIn:20.9-20.19 Error: non-
浏览 2提问于2017-02-04得票数 1
回答已采纳
我已经编写了一个简单的程序来处理我已经实现的队列数据结构。以下是我的代码
transf :: Queue -> [Char]
transf emptyQueue = []
transf queue = [front queue] ++ transf (dequeue queue)
队列的位置是
newtype Queue = Q [Char] deriving (Show)
emptyQueue :: Queue
emptyQueue = Q []
queueIsEmpty :: Queue -> Bool
queueIsEmpty (Q []) = True
queueI
浏览 1提问于2013-03-11得票数 0
回答已采纳
1回答
SML:节点计数
、、
我的任务是编写一个计算二叉树大小的函数。这是树形结构的实现：
datatype 'a bin_tree =
Leaf of 'a
| Node of 'a bin_tree (* left tree *)
* int (* size of left tree *)
* int (* size of right tree *)
* 'a bin_tree (* right tree *)
我从我的教授那里得到了这个模板：
fun get
浏览 23提问于2020-09-18得票数 1
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回答
如何匹配嵌套列表？
、、、
在sml/nj中，我想创建一个函数，该函数接受非空列表的列表，并返回每个非空列表的第一个元素的列表。
fun get_first [] = []
| get_first x::xs = (hd x)::get_first xs;
get_first: ('a list) list -> 'a list;
但是这不起作用..。有人知道哪里出了问题吗？
浏览 2提问于2013-02-19得票数 0
我这里有一个小小的playground example fn main() {
let l = Some(3);
match &l {
None => {}
Some(_x) => {} // x is of type &i32
}
} 我在&Option上进行模式匹配，如果我使用Some(x)作为分支，为什么x的类型是&i32
浏览 9提问于2019-04-11得票数 3
回答已采纳
(真的很困惑)。
请假定我从WCF服务下载的访问如下：
type Visit = {
tservice : Nullable<DateTime>
}
以及由访问组成的访问数组。假设数组中的某些访问具有非空tservice，而其他访问具有空tservice值，那么tservice模式如何与空匹配？
即这是失败的：
let fillSchedule (v:Visits[]) =
v |> Array.iter ( fun f ->
match f.
浏览 3提问于2020-11-11得票数 1
回答已采纳
因此，我正在尝试定义一个TrieSet数据类型(尽管我知道)：
module Temp where
import Data.Map
data TrieSet a = Nonterminal (Data.Map a (TrieSet a)) | Terminal (Data.Map a (TrieSet a))
insert :: Ord a => [a] -> TrieSet a -> TrieSet a
insert [] (_ m) = Terminal m
insert (a:as) (c m) = c $ insertWith (insert as . flip
浏览 1提问于2011-08-20得票数 4
回答已采纳
在SPJ的论文中，第3页和第4页写道：
class Mutation m where
type Ref m :: * -> *
newRef :: a -> m (Ref m a)
readRef :: Ref m a -> m a
writeRef :: Ref m a -> a -> m ()
instance Mutation IO where
type Ref IO = IORef
newRef = newIORef
readRef = readIORef
writeRef = writeIORef
instance M
浏览 4提问于2015-12-31得票数 8
回答已采纳
首先是一些无聊的导入：
import Relation.Binary.PropositionalEquality as PE
import Relation.Binary.HeterogeneousEquality as HE
import Algebra
import Data.Nat
import Data.Nat.Properties
open PE
open HE using (_≅_)
open CommutativeSemiring commutativeSemiring using (+-commutativeMonoid)
open CommutativeMonoid +-co
浏览 0提问于2012-09-19得票数 14
回答已采纳
1回答
我正在查看agda-stdlib/src/Data/Vec/Base.agda中的代码，并在
take : ∀ m {n} → Vec A (m + n) → Vec A m
take m xs with splitAt m xs
take m .(ys ++ zs) | (ys , zs , refl) = ys
我尝试删除前面的.，得到了以下错误：
Could not parse the left-hand side
take m (ys ++ zs) | (ys , zs , refl)
Operators used in the grammar:
++ (infi
浏览 2提问于2020-10-21得票数 1
回答已采纳
我定义了一棵二叉树：
data Tree = Null | Node Tree Int Tree
并实现了一个函数，该函数将生成其所有节点的值之和：
sumOfValues :: Tree -> Int
sumOfValues Null = 0
sumOfValues (Node Null v Null) = v
sumOfValues (Node Null v t2) = v + (sumOfValues t2)
sumOfValues (Node t1 v Null) = v + (sumOfValues t1)
sumOfValues (Node t1 v t2) = v + (s
浏览 3提问于2011-01-17得票数 9
回答已采纳
因为在编译过程中有效地删除了newtype，所以它们没有块，只有值。那么，如果我使用请求它的WHNF，会发生什么呢？例如，在
Sum (lengthyComputation :: Int) `using` rseq
其中被定义为
newtype Sum a = Sum { getSum :: a }
lengthyComputation会不会被评估？它是否被指定/记录在某个地方，以便我可以依赖它？
更新：让我更详细地解释我的疑虑。直觉上，有人说："newtype很严格，它的WHNF是包裹在里面的东西的WHNF“。但我觉得这是一条非常不精确的捷径，道理也不太清楚。让我举一个例子：
对于
浏览 4提问于2012-12-02得票数 8
回答已采纳
4回答
我有自己的数据类型：
type Types = String
data MyType = MyType [Types]
我有一个实用函数：
initMyType :: [Types] -> MyType
initMyType types = Mytype types
现在我创建：
let a = MyType ["1A", "1B", "1C"]
如何从a获取列表["1A", "1B", "1C"]？一般来说，我如何从数据构造函数中获取数据？
浏览 0提问于2011-11-08得票数 3
回答已采纳
我试图写一个函数，它可以组合两个列表，而不用“分而治之”。因此，我不能使用(++)。
Prelude> let combineList (x:xs) (y:ys) = if null (y:ys)==True then x:xs else combineList (x:xs++[y]) (ys)
这就是我现在拥有的，我得到了"Non-exhaustive patterns in function combineList"。我意识到问题来自于if null (y:ys)==True，因为这个函数可以工作-
Prelude> let combineList (x:xs)
浏览 2提问于2013-10-01得票数 2
回答已采纳
3回答
对于此函数，该函数计算包含谓词的列表中的元素数，
count :: (a -> Bool) -> [a] -> Int
count _ [] = 0
count p (x:xs) = (if (p x) then 1 else 0) + count p xs
如何在保持求和的同时将if-else表达式转换为模式匹配。
浏览 6提问于2014-10-20得票数 0
回答已采纳
下面是来自PureScript的ADT示例
data Shape
= Circle Point Number
| Rectangle Point Number Number
| Line Point Point
| Text Point String
type Point =
{ x :: Number
, y :: Number
}
想做这样的事有意义吗？
boundingCircle :: Shape -> Circle
boundingBox :: Shape -> Rectangle
现在，这是不允许的，因为圆圈不是一个类型。我也许可以让Sha
浏览 1提问于2021-03-16得票数 0
回答已采纳
我使用，这意味着我首先创建json：
apollo-codegen introspect-schema schema.graphqls --output schema.json
这会产生：
{
"data": {
"__schema": {
"queryType": {
"name": "Query"
},
"mutationType": null,
"subscriptionType": null,
浏览 1提问于2017-08-07得票数 2
很抱歉，“我错过了什么”的提问风格，但我只是在这里遗漏了一些东西。
我试图了解GADT在OCaml中是如何工作的，我定义了以下内容(在utop中)：
type value =
| Bool : bool -> value
| Int : int -> value
;;
type _ value =
| Bool : bool -> bool value
| Int : int -> int value
;;
type _ expr =
| Value : 'a value -> 'a expr
| If : bool expr * '
浏览 2提问于2019-09-26得票数 0
回答已采纳
请参阅下面的代码示例。它不会编译。我认为这可能是因为对于test函数中的第一个参数，它必须有一个类型。但是这是没有意义的，因为如果我没有对它进行模式匹配，那么它就会被编译，我可以用MyObj11 5和MyObj21 5这两种不同的类型来调用它。
那么，是什么限制了您不能在构造函数上使用类型类约束参数进行模式匹配呢？或者，有没有什么机制可以让你这样做？
class SomeClass a where toString :: a -> String
instance SomeClass MyType1 where toString v = "MyType1"
instanc
浏览 0提问于2011-04-23得票数 15
回答已采纳
在某个程序中，我定义了以下数据结构：
data IntTree = EmptyTree | InternalNode IntTree Int IntTree
deriving (show)
此外，还履行以下职能：
size :: IntTree -> Int
size Empty = 1
size (InternalNode IntTree int IntTree) = (size IntTree) + 13 + (size IntTree)
但是，我得到了以下错误(每个IntTree引用都会出现这个错误)：
Not in scope data c
浏览 0提问于2013-11-03得票数 2
回答已采纳
3回答
我目前正在学习SML，我对一些我没有名字的东西有一个问题。让我们暂时称它为“类型别名”。假设我有以下数据类型定义：
datatype 'a stack = Stack of 'a list;
现在我想添加一个显式的“空栈”类型。我可以通过将其添加到数据类型来实现：
datatype 'a stack = emptystack | Stack of 'a list;
现在我可以模式匹配像“push”这样的函数：
fun push (emptystack) (e:'a) = Stack([e])
| push (Stack(list):'a st
浏览 1提问于2012-05-04得票数 1
回答已采纳
我应该如何定义元组类型Quartet，它将包含四个元素-两个Integral和两个Boolean，以及函数firstTwo返回表和两个布尔值的secondTwo返回表？
data Quartet = Quartet (Int, Int, Bool, Bool)
--firstPair :: Quartet -> [Int, Int]
firstPair (a, b, _) = [a, b]
--secondPair :: Quartet -> [Bool, Bool]
secondPair (_, _, a, b) = [a, b]
浏览 2提问于2015-02-15得票数 1
1回答
我正在Haskell开发一种新的语言，我遇到了语法树T desugaring的问题。
我有一组函数f1, f2,... fn，它将树T从“砂糖”中简化。它们被分离成不同的递归函数，因此代码更易读(每个代码都有一些特定的任务，与将它们实现为一个递归相比，理解它们所做的事情要简单得多)。
用于脱硫的组合函数如下所示
f :: T -> T
f = f1 . f2 . f3 . ... . fn
我读过(我认为)，Haskell中的最佳实践是，您以某种方式表示数据，它们不会得到错误/未定义/不可能的值。问题是，每个函数f1，.，fn基本上减少了一些构造函数的T类型。(例如，应用于T的f1移除由
浏览 5提问于2022-02-25得票数 3
2回答
我有以下遍历列表[(Map String SqlValue)]的函数
extractPatternStrings ∷ IO [(Map String SqlValue)] → IO [String]
extractPatternStrings [] = do
return []
extractPatternStrings lst = do
(m:ms) ← lst
return $ (toString m) : (extractPatternStrings ms)
where
toString ∷ Map String SqlValue →
浏览 5提问于2011-10-19得票数 0
回答已采纳
我有以下代码：
-- A CharBox is a rectangular matrix of characters
data CharBox = CharBox [String]
deriving Show
-- Build a CharBox, ensuring the contents are rectangular
mkCharBox :: [String] -> CharBox
mkCharBox [] = CharBox []
mkCharBox xxs@(x:xs) = if (all (\s -> (length s) == length x) xs)
浏览 3提问于2014-05-27得票数 2
回答已采纳
我正在尝试阅读Haskell包Data.List.Class的源代码。(列表-0.4.2)。但是我被一些语法卡住了。
就在开头，它是这样写的：
data ListItem l a =
Nil |
Cons { headL :: a, tailL :: l a }
我不熟悉第三行的语法。我猜这最后一行相当于Cons a (l a) ?？但我不是很确定。我注意到文件头写着：{-# LANGUAGE FlexibleContexts, TypeFamilies #-}。
然后，随着我的继续，type语句有一个奇怪的用法：type ItemM l :: * -> *，我不能理解它
浏览 5提问于2012-08-02得票数 8
回答已采纳
1回答
我希望理解下面引用的书中的一个例子。我知道这是关于模式匹配的，但是我在哪里可以找到对match表达式含义的完整和准确的描述？
# let rec sort lst =
# match lst with
# [] -> []
# | head :: tail -> insert head (sort tail)
# and insert elt lst =
# match lst with
# [] -> [elt]
# | head :: tail -> if elt <= head then elt :: lst else head :: insert elt
浏览 0提问于2013-01-22得票数 1
回答已采纳
1回答
我目前正在研究中否定章节中推荐的问题之一。
以下是问题的描述：
Using negation, show that strict inequality is irreflexive, that is, n < n holds for no n.
根据我的理解，我认为在严格的不等式中，它将以两个自然数作为论证，并输出一组对吗？：
data _<_ : ℕ → ℕ → Set where
z<s : ∀ {n : ℕ}
------------
→ zero < suc n
s<s : ∀ {m n : ℕ}
浏览 8提问于2022-10-18得票数 1
回答已采纳
1回答
我对GHC类型推断的理解是，在没有类型注释的情况下，它将默认为印地语-Milner。然而，令我惊喜的是，GHC推断Num p => G a -> p为f，而不是Num p => G Char -> p。
data G a where
A :: a -> G a
B :: String -> G Char
f (A a) = 42
f (B s) = 24
我的问题是，它是如何做到这一点的，在什么其他情况下，它将推断出GADT的正确类型？
浏览 0提问于2018-06-17得票数 2
回答已采纳
我想做的是卡特罗格列表和图书列表的表示。
datatype catalog = KAT of string*catalog list| KIS of string*book list | EMPTY;
我想数一下书的数量。我正在试着做这样的事情。
fun count([]) = 0
| count(book) = LIST.length(book)
| count(x1::xs) = count(x1) + count(xs);`
和我接收的不能有类型错误。我能对卡恩特的书做些什么？
浏览 0提问于2014-02-03得票数 0
我想在这里做以下几件事
data M = A DataA | B DataB | C deriving (Eq, Show)
data DataA = DataA {aInt::Int} deriving (Eq, Show)
data DataB = DataB {bInt::Int} deriving (Eq, Show)
myFunction :: [M] -> Int
myFunction [] = 0
myFunction (m:rest) =
-- if m is A doSomething1
-- if m is B doSomething2
-
浏览 1提问于2018-03-30得票数 0
回答已采纳
1回答
在F#中，我可以在语法中的不同地方使用模式匹配。
例如：
// Given this type...
type SingleCaseUnion = | SingleCaseUnion of int
/// ...I can do this:
let destructureInFunc (SingleCaseUnion n) =
printfn "%d" n
// ...and this:
type DestructureInMethod() =
member t.M(SingleCaseUnion n) =
printfn "%d&#
浏览 1提问于2015-01-27得票数 5
回答已采纳
1回答
C++17标准引入了“模板演绎指南”。我认为它们与这个标准版本中引入的构造函数的新模板参数推导有关，但我还没有看到一个简单的、常见问题解答式的解释，说明它们是什么以及它们的用途。
C++17中的模板演绎指南是什么？
为什么(和什么时候)我们需要他们？
我该怎么申报？
浏览 4提问于2016-12-03得票数 109
回答已采纳
我正在浏览Haskell O‘’Reilly一书中的问题。我正在解决的问题是
Using the binary tree type that we defined earlier in this chapter,
write a function that will determine the height of the tree. The height
is the largest number of hops from the root to an Empty. For example, the
tree Empty has height zero; Node "x"
浏览 0提问于2010-08-29得票数 22
回答已采纳
我正在学习Arrow，学习教程。我根据文章输入了以下代码，只不过SF是由data定义的，而不是像论文中那样由newtype定义的(实际上，我是偶然地从内存中输入了代码)：
import Control.Category
import Control.Arrow
import Prelude hiding (id, (.))
data SF a b = SF { runSF :: [a] -> [b] } -- this is the change, using data instead of newtype as in the paper
-- The folowing code
浏览 0提问于2019-04-01得票数 8
回答已采纳
考虑下面的程序，定义一个包含值13的std::vector：
std::vector<int> vec{13};
这也可以解释为对构造函数的调用，该构造函数使用13个零来初始化向量。我的问题是:编译器如何选择使用initializer_list构造std::vector，还是使用13个零初始化向量？
浏览 0提问于2020-03-02得票数 0
2回答
我需要为特定的数据类型声明一个Monad实例：
data M m a = Mk (m (Maybe a))
instance (Monad m) => Monad (M m) where
return x = Mk (m (Just x))
Mk (m (Nothing)) >>= f = Mk (m (Nothing))
Mk (m (Just x)) >>= f = f x
但我得到了：
test.hs:6:7: Parse error in pattern: m
Failed, modules loaded: none.
这可能很简单，但我搞不
浏览 0提问于2013-02-15得票数 2
我有一个foo :: a -> a -> Either String TypeConstructor类型的函数
foo既可以返回throwError String，也可以返回一些TypeConstructor。
我想做一些像fmap这样的事情。我的意思是，我想使用case (foo x y z) of ...，其中...表示不同的值(这取决于foo中使用的构造函数值)。
exista有没有办法做到这一点？
浏览 0提问于2016-04-20得票数 1
import net.liftweb.common.{Failure, Empty, Full, Box} // 1
// 2
def isAlive = { // 3
httpClient.getAsString("http://www.google.com", Nil) match { // 4
浏览 1提问于2012-11-07得票数 7
回答已采纳
我有一些数据，我想测试一下，什么是最好的存储方式。我正在决定二进制、四进制、八进制和十六进制数据类型。
检查哪一个是最好的，唯一的方法是在我的算法中使用其中的每一个，然后查看结果。
到目前为止，我的实现如下：
{-# LANGUAGE DeriveAnyClass #-}
data Binary = O | I
deriving (Bounded, Enum, Eq, Ord, Show)
data Octal = OA | OB | OC | OD | OE | OF | OG | OH
deriving ( .
浏览 3提问于2016-10-09得票数 4
回答已采纳
考虑以下Delphi 2010中泛型实用程序类的声明：
TEnumerableUtils = class
public
class function InferenceTest<T>(Param: T): T;
class function Count<T>(Enumerable: TEnumerable<T>): Integer; overload;
class function Count<T>(Enumerable: TEnumerable<T>; Filter: TPredicate<T>): Inte
浏览 1提问于2010-04-26得票数 6
回答已采纳
1回答
类型枚举和构造函数
、、、
你好，我有以下类型：
type AlphaOne = Int
type AlphaTwo = String
type CharlieOne = Int
type CharlieTwo = String
type CharlieThree = Bool
data Sign = Alpha (AlphaOne, AlphaTwo) |
Bravo |
Charlie CharlieOne CharlieTwo CharlieThree |
浏览 3提问于2021-10-27得票数 0
3回答
我在Haskell和代数类型一起工作，做一些练习题。我有以下练习：
定义一个代数类型点来表示二维空间中的点(坐标)。
我的本练习代码：
data Point = Point Float Float
deriving (Show)
使用Point，定义形状数据类型的修改版本PositionedShape，其中除了形状的尺寸外，还包括形状的中心点。
先前定义的形状数据：
data Shape = Circle Float |
Rectangle Float Float
deriving (Show)
我
浏览 0提问于2019-04-23得票数 2
回答已采纳
我遇到了一种情况，我想要在操作符上进行匹配。但是，这会引发GHC的Pattern match(es) are overlapped错误。我搞不懂为什么。不允许对操作符进行模式匹配吗？我假设，由于在圆括号中包含了运算符符号，这应该是可行的。
test :: (Integer -> Integer -> Integer) -> String
test (+) = "plus"
test (-) = "minus"
test _ = "other"
我还有其他方法可以完成我想做的事。我只是好奇为什么这不管用。
浏览 2提问于2014-07-15得票数 6
回答已采纳
我试图在函数拆分中匹配**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
回答已采纳
1回答
我正在寻找url重写选项使用多参数的asp.net路由器。我有类别和地点的参数。我需要重写url与组合的类别和位置，或类别单独或位置单独。如何根据类别、位置示例检索搜索结果
www.sample.com/flats-for-rent-india
www.sample.com/flats-for-rent
www.sample.com/india
浏览 1提问于2012-03-22得票数 1
我实际上是haskell的新手。尝试运行此代码：
返回XML元素的标记名
getName :: Content -> Name
getName (CElem (Elem nme atts cs)) = nme
我得到了以下错误：
Expecting one more argument to `Content'
In the type signature for `getName': getName :: Content -> Name
你能帮我修一下吗？
浏览 0提问于2014-05-16得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
