- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我想将以下程序程序转换为Haskell [用伪代码编写]:
f(x) {
if(c1(x)) {
if(c2(x)) {
return a(x);
}
else if (c3(x)) {
if(c4(x)) {
return b(x);
}
}
return d(x);
}
f x =
if (c1 x) then
if(c2 x) then
a x
else if (c3 x) then
if (c4 x) then
b x
else d x
else d x
else d x
最佳答案
最简单,最明显的解决方案
如果您使用的是GHC,则可以打开
{-# LANGUAGE MultiWayIf #-}
而你的整个事情变成
f x = if | c1 x && c2 x -> a x
| c1 x && c3 x && c4 x -> b x
| otherwise -> d x
x
必须满足的要求列表,然后,如果
x
满足这些要求,则可以对
x
采取一些措施。
decisions :: [([a -> Bool], a -> b)]
decisions = [([c1, c2], a)
,([c1, c3, c4], b)]
,([], d)]
在这里,我们应将其读为:“如果
x
同时满足
c1
和
c2
,则对
a
采取
x
措施”,依此类推。然后我们可以将
f
定义为
f x = let maybeMatch = find (all ($ x) . fst) decisions
match = fromMaybe (error "no match!") maybeMatch
result = snd match
in result x
通过遍历需求列表并找到
x
满足的第一组决策(
maybeMatch
),可以工作。它将其从
Maybe
中拉出(您可能希望在那里进行更好的错误处理!)然后选择相应的函数(
result
),然后通过该函数运行
x
。
+-> c1 +-> c2 -> a
| |
| +-> c3 -> c4 -> b
+-> d
换句话说,如果
x
满足
c1
,它将查看它是否也满足
c2
,并且是否对
a
采取了
x
Action 。如果不是,它将继续使用
c3
进入下一个分支,依此类推,直到达到一个 Action (或遍历整个树)为止。
c1
,
c2
等)和操作(
a
,
b
等)之间的区别。
data Decision a b = Requirement (a -> Bool)
| Action (a -> b)
然后,您将决策树构建为
decisions =
Node (Requirement (const True))
[Node (Requirement c1)
[Node (Requirement c2)
[Node (Action a) []]
,Node (Requirement c3)
[Node (Requirement c4)
[Node (Action b) []]]
,Node (Action d) []]
这看起来比实际要复杂,因此您可能应该发明一种更简洁的表达决策树的方法。如果定义功能
iff = Node . Requirement
action = flip Node [] . Action
你可以把树写成
decisions =
iff (const True) [
iff (c1) [
iff (c2) [
action a
],
iff (c3) [
iff (c4) [
action b
]
]
],
action d
]
突然之间,它与您开始使用的命令性代码非常相似,尽管事实是它是有效的Haskell代码,仅用于构建数据结构! Haskell在定义这样的自定义小“语言内部语言”方面非常强大。
decide :: a -> Tree (Decision a b) -> Maybe b
decide x (Node (Action f) _) = Just (f x)
decide x (Node (Requirement p) subtree)
| p x = asum $ map (decide x) subtree
| otherwise = Nothing
这会使用一点Maybe魔术(
asum
)在第一次成功命中时停止。反过来,这意味着它不会徒劳地计算任何分支的条件(如果计算成本很高,这是有效且重要的),并且它应该可以很好地处理无限决策树。
decide
类,使
Alternative
更加通用,但我选择将其专用于
Maybe
,以便不撰写有关此书。使它变得更加笼统,也可以让您做出花哨的单子(monad)决策,这将非常酷!
collatz =
iff (> 0) [
iff (not . even) [
action (\n -> 3*n + 1)
],
action (`div` 2)
]
因此该数字必须大于0,然后将其乘以3,然后加1,否则将其减半。测试运行表明
λ> decide 3 collatz
Just 10
λ> decide 10 collatz
Just 5
λ> decide (-4) collatz
Nothing
您可能可以想象更多有趣的决策树。
decide
函数获得新外观
decide :: Alternative f => a -> Tree (Decision a b) -> f b
decide x (Node (Action f) _) = pure (f x)
decide x (Node (Requirement p) subtree)
| p x = asum $ map (decide x) subtree
| otherwise = empty
(对于那些保持计数的状态,总共只有三个更改。)这为您提供了使用列表的适用实例而不是Maybe组合输入满足的“所有” Action 的机会。这揭示了我们的
collatz
树中的“错误”-如果我们仔细查看,就会发现它说所有奇数和正整数
n
都变成了
3*n +1
,但是也表示所有正数都变成了
n/2
。没有其他要求说明该数字必须为偶数。
(`div` 2)
操作仅在
(>0)
要求下,没有别的。从技术上讲,这是不正确的,但是如果我们仅获得第一个结果(使用
Maybe
Alternative实例基本上可以得到),它就可以正常工作。如果我们列出所有结果,我们也会得到不正确的结果。
关于haskell - 关于Haskell中的控制流结构(多个if-then-else),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/23505473/
我目前正在尝试基于哈希表构建字典。逻辑是:有一个名为 HashTable 的结构,其中包含以下内容: HashFunc HashFunc; PrintFunc PrintEntry; CompareF
如果我有一个指向结构/对象的指针,并且该结构/对象包含另外两个指向其他对象的指针,并且我想删除“包含这两个指针的对象而不破坏它所持有的指针”——我该怎么做这样做吗? 指向对象 A 的指针(包含指向对象
像这样的代码 package main import "fmt" type Hello struct { ID int Raw string } type World []*Hell
我有一个采用以下格式的 CSV: Module, Topic, Sub-topic 它需要能够导入到具有以下格式的 MySQL 数据库中: CREATE TABLE `modules` ( `id
通常我使用类似的东西 copy((uint8_t*)&POD, (uint8_t*)(&POD + 1 ), back_inserter(rawData)); copy((uint8_t*)&PODV
错误 : 联合只能在具有兼容列类型的表上执行。 结构(层:字符串,skyward_number:字符串,skyward_points:字符串)<> 结构(skyward_number:字符串,层:字符
我有一个指向结构的指针数组,我正在尝试使用它们进行 while 循环。我对如何准确初始化它并不完全有信心,但我一直这样做: Entry *newEntry = malloc(sizeof(Entry)
我正在学习 C,我的问题可能很愚蠢,但我很困惑。在这样的函数中: int afunction(somevariables) { if (someconditions)
我现在正在做一项编程作业,我并没有真正完全掌握链接,因为我们还没有涉及它。但是我觉得我需要它来做我想做的事情,因为数组还不够 我创建了一个结构,如下 struct node { float coef;
给定以下代码片段: #include #include #define MAX_SIZE 15 typedef struct{ int touchdowns; int intercepti
struct contact list[3]; int checknullarray() { for(int x=0;x<10;x++) { if(strlen(con
这个问题在这里已经有了答案: 关闭 11 年前。 Possible Duplicate: Empty “for” loop in Facebook ajax what does AJAX call
我刚刚在反射器中浏览了一个文件,并在结构构造函数中看到了这个: this = new Binder.SyntaxNodeOrToken(); 我以前从未见过该术语。有人能解释一下这个赋值在 C# 中的
我经常使用字符串常量,例如: DICT_KEY1 = 'DICT_KEY1' DICT_KEY2 = 'DICT_KEY2' ... 很多时候我不介意实际的文字是什么,只要它们是独一无二的并且对人类读
我是 C 的新手,我不明白为什么下面的代码不起作用: typedef struct{ uint8_t a; uint8_t* b; } test_struct; test_struct
您能否制作一个行为类似于内置类之一的结构,您可以在其中直接分配值而无需调用属性? 前任: RoundedDouble count; count = 5; 而不是使用 RoundedDouble cou
这是我的代码: #include typedef struct { const char *description; float value; int age; } swag
在创建嵌套列表时,我认为 R 具有对列表元素有用的命名结构。我有一个列表列表,并希望应用包含在任何列表中的每个向量的函数。 lapply这样做但随后剥离了列表的命名结构。我该怎么办 lapply嵌套列
我正在做一个用于学习目的的个人组织者,我从来没有使用过 XML,所以我不确定我的解决方案是否是最好的。这是我附带的 XML 文件的基本结构:
我是新来的 nosql概念,所以当我开始学习时 PouchDB ,我找到了这个转换表。我的困惑是,如何PouchDB如果可以说我有多个表,是否意味着我需要创建多个数据库?因为根据我在 pouchdb
我是一名优秀的程序员,十分优秀!