<div dir="ltr"><div>My attempt to replicate the OP's strategy but not impl:</div><div><br></div><div><font face="monospace, monospace">balanceParens :: String -> String</font></div><div><font face="monospace, monospace">balanceParens s =  replicate neededOpening '('</font></div><div><font face="monospace, monospace">           ++ s ++ replicate neededClosing ')'</font></div><div><font face="monospace, monospace">  where</font></div><div><font face="monospace, monospace">  depthChange '(' = 1</font></div><div><font face="monospace, monospace">  depthChange ')' = -1</font></div><div><font face="monospace, monospace">  depthChange _   = 0</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  depths = scanl (+) 0 $ map depthChange s</font></div><div><font face="monospace, monospace">  neededOpening = negate $ minimum depths</font></div><div><font face="monospace, monospace">  neededClosing =          last    depths + neededOpening</font></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 21 March 2017 at 17:16, David McBride <span dir="ltr"><<a href="mailto:toad3k@gmail.com" target="_blank">toad3k@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Whether your algorithm is correct depends on how you are supposed to<br>
rebalance them.  My naive attempt gives very different results.<br>
<br>
bal :: String -> String<br>
bal = go 0<br>
  where<br>
    go :: Int -> String -> String<br>
    go 0 "" = ""<br>
    go n "" = replicate n ')'<br>
    go n ('(':xs) = '(' : (go (n + 1) xs)<br>
    go 0 (')':xs) = '(' : ')' : (go 0 xs)<br>
    go n (')':xs) = ')' : (go (n - 1) xs)<br>
<br>
bal "))("<br>
"()()()"<br>
<br>
bal ")))"<br>
"()()()"<br>
<div class="HOEnZb"><div class="h5"><br>
On Tue, Mar 21, 2017 at 12:53 PM, Michael Litchard<br>
<<a href="mailto:litchard.michael@gmail.com">litchard.michael@gmail.com</a>> wrote:<br>
> I'm prepping for a coding interview, and am examining the task of correcting<br>
> unbalanced parentheses. The finger tree seems to be the right data<br>
> structure. As a proof of concept I've used Data.Sequence to test my idea. If<br>
> this is the right direction to go, I'll write more specialized finger tree<br>
> code. The code works on the few test cases I have tried. Feedback<br>
> appreciated.<br>
><br>
> {-# LANGUAGE ViewPatterns #-}<br>
> module Parenthesis where<br>
> import BasicPrelude hiding (concat,null,empty)<br>
><br>
> import Data.Sequence hiding (length)<br>
> import Data.Foldable hiding (length,null)<br>
><br>
> balanceParens :: String -> String<br>
> balanceParens str = go str [] empty<br>
>   where<br>
>     go [] [] (null -> True) = []<br>
>     go [] [] parens = Data.Foldable.toList parens<br>
>     go ('(':xs) [] (null -> True) = go xs [RP] (singleton '(')<br>
>     go (')':xs) [] (null -> True) = go xs [] (fromList "()")<br>
>     go ('(':xs) debit parens = go xs (RP:debit) (parens |> '(')<br>
>     go (')':xs) [] parens = go xs [] corrected<br>
>       where corrected = ('(' <| parens) |> ')'<br>
>     go (')':xs) (RP:debit) parens = go xs debit (parens |> ')')<br>
>     go (_:xs) debit parens = go xs debit parens<br>
>     go [] (RP:debit) parens = go [] debit (parens |> ')')<br>
><br>
> example:<br>
><br>
> balanceParens "))("<br>
> "(())()"<br>
> balanceParens ")))"<br>
> "((()))"<br>
><br>
><br>
</div></div><div class="HOEnZb"><div class="h5">> ______________________________<wbr>_________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</div></div></blockquote></div><br></div>