相关疑难解决方法(0)

模式匹配Haskell中的等效变量,就像在Prolog中一样

在prolog中,我们可以执行以下操作:

myFunction a (a:xs) = ...
Run Code Online (Sandbox Code Playgroud)

这是,当第一个参数myFunction与第二个参数中列表的第一个项相同时,此函数将评估为....

我现在的问题是......如何在Haskell中完成类似的事情?我认为Prolog的模式匹配比Haskell更具表现力.我一直在尝试在Haskell中编写代码并且我遇到了麻烦 - 要么我使用了无效的语法,要么上面的技巧根本就没有.

syntax haskell prolog pattern-matching unification

9
推荐指数
3
解决办法
1304
查看次数

标签 统计

haskell ×1

pattern-matching ×1

prolog ×1

syntax ×1

unification ×1