Haskell：遞歸問題

Question

我正在嘗試將文本格式設置為矩形。 目前，我已經能夠使它正確地左對齊，但是最后一行沒有盡可能延伸。

我正在嘗試計算最佳字段寬度，以最小化或完全消除此寬度。

我完全被困住了。 下面的代碼顯示了相關功能。 此刻，它陷入了無限循環。 我要去哪里錯了？

附帶說明一下，調試Haskell代碼的最佳方法是什么？ （是的，我對此很陌生。）

optimumFieldWidth應該比較行的長度，直到頂行的長度等於底行的長度，然后返回使之成為真的字段寬度。

module Main where

import System
import Data.List

main = do 
  (f:_) <- getArgs
  xs <- getContents
  putStr (show (bestFieldWidth maxLineLength xs))

bestFieldWidth :: Int -> String -> Int
bestFiledWidth _ [] = 0
bestFieldWidth lineLength xs
  | length (last input) == length (head input) = lineLength
  | otherwise = bestFieldWidth (length (head (rect (lineLength-1) xs))) xs
  where input = lines xs

rect :: Int -> String -> [String]
rect _ [] = []
rect lineLength xs
  | length input <= len = [input]
  | otherwise           = take len input : rect len (drop len input)
  where input = trim xs
        len   = bestFieldWidth lineLength xs

maxLineLength :: Int
maxLineLength = 40

感謝所有答復。 謝謝。

Answer 1

我以為我會把實際的解決方案放在這里，以防任何其他消息者希望這樣做。 請記住，它是由白痴編寫的，因此它可能不是最優雅的解決方案。

maxFieldWidth :: Int
maxFieldWidth = 30

rect :: String -> String
rect xs  = (unlines (chunk (bestFieldWidth (maxFieldWidth) (lines input)) input))
  where input = itemsReplace '\n' ' ' xs

--Should be called with the point maximum desired width as n
bestFieldWidth :: Int -> [String] -> Int
bestFieldWidth _ [] = error "bestFieldWidth: Empty List"
bestFieldWidth n xs
  | n == 6 = 6
  | 1 == (length (last input)) = n
  | otherwise = (bestFieldWidth (n-1) xs)
  where input = chunk n (unlines xs)

chunk :: Int -> [a] -> [[a]]
chunk n [] = []
chunk n xs = ys : chunk n zs
  where (ys,zs) = splitAt n xs

itemsReplace :: Eq a => a -> a -> [a] -> [a]
itemsReplace _ _ [] = []
itemsReplace c r (x:xs)
  | c == x    = r:itemsReplace c r xs
  | otherwise = x:itemsReplace c r xs

Answer 2

似乎條件length (last input) == length (head input)一旦為false，則在后續對area調用中永遠不會變為true，因此使該函數始終采用otherwise分支，並以相同的xs值無限期地調用自身，因此input 。

造成這種情況的可能原因是，您使用了lines函數，該函數使用換行符分隔字符串，而這種方式不依賴於lineLength且與rect函數中的換行不一致。

Answer 3

為了回答您的旁注，以下是調試Haskell的出色指南： http : //cgi.cse.unsw.edu.au/~dons/blog/2007/11/14

還有Debug.Trace，它允許您插入打印語句。 當然，它只能在調試時使用，因為它會使您的函數產生副作用。

http://hackage.haskell.org/packages/archive/base/latest/doc/html/Debug-Trace.html