将一个简单的命令式算法转换为函数式sty

Question

我最近做了一个小算法，从一段代码中去掉函数参数，只保留最外层的函数。
我发现这个算法很容易设计成命令式。
然而，我对函数式编程很感兴趣，我想知道如何用函数式的方式完成同样的事情。在

如果你能告诉我这样一个算法是如何工作的，那对我会很有帮助，这样我就可以更好地了解函数式编程是如何工作的。在设计算法的同时我也想知道你的想法。在

我用Python编写了命令式版本，但是您的答案不一定要用Python；haskell或其他任何语言也可以。在

它的作用如下（将字符串作为输入并返回字符串）：

"foo(a.d, b.e.fi()).go(sd, ds())"     -- returns -->  "foo().go()"
"foo(a, b).bar().fuu"                 -- returns -->  "foo().bar().fuu"
"foo.bar"                             -- returns -->  "foo.bar"

下面是我的命令代码：

^{pr2}$

Answer 1

以下是我的版本：

import Control.Monad
import Control.Monad.State

-- filter `str` with the "stateful" monadic predicate function `handleChar`, 
-- with an initial state of 0
getRidOfArguments :: String -> String
getRidOfArguments str = filterM handleChar str `evalState` 0

handleChar :: Char -> State Int Bool
handleChar '(' = modify (+1) >> gets (<= 1)
handleChar ')' = modify (max 0 . subtract 1) >> gets (== 0)
handleChar _   = gets (== 0)

我的思考过程是：我们过滤一个列表，这样filter就会浮现在脑海中；然而，我们是否保留或删除一个字符取决于某种状态（我们的开放/关闭parens计数）。因此，一元过滤函数filterM是合适的，我们可以使用State单子来抽象开/闭计数的管道。在

如果你想知道更多关于以上工作的细节，请告诉我。在