在Haskell递归中调用的递减值

Question

因此，我有此功能，可将文本向左对齐给定的列宽。 我已经解决了它的一些问题，但是一旦调用它，我无法使它不使用减量的参数，而是返回到n的起始值。 这是我的代码：

 f n s
   | length s <= n = take (length s) s ++ "\n"                    
   | n >= (maximum . map length . words) s =                   
       if s !! n == ' ' || s !! n == '\t' || s !! n == '\n'
       then take n s ++ "\n" ++ f n (drop (n+1) s)                   
       else f (n - 1) s          --Here once called for some n-1 it proceeds to call it from then on only for it or even smaller n
   | otherwise = error "Try bigger width!"

这是一个示例，其中最后一行上的to实际上应该在第二行上：

*Main> let s = "This miscellaneous items are starting to get shitty ."
*Main> putStr $ f 22 s
This miscellaneous
items are starting
to get shitty .

有任何想法吗？

Answer 1

是的，再次使用新值n调用f时，除非显式传递它，否则无法引用旧值n。 一种实现方法是，如您所愿，使用内部递归函数及其width参数，但是可以在需要时将该参数引用到外部函数。 例如，类似的方法有效：

f n s = f' n s
  where
    f' width s
        | length s <= width = s ++ "\n"
        | n >= (maximum . map length . words) s =
            if s !! width == ' ' || s !! width == '\t' || s !! width == '\n'
            then take width s ++ "\n" ++ f' n (drop (width+1) s)
            else f' (width - 1) s
        | otherwise = error "Try bigger width!"

这里width是计算中的当前宽度， n始终不变，这使得f'在新行的开头重置计算时可以使用它。

那只是回答您的确切问题。 一个不错的练习就是用更加惯用的Haskell重写代码，避免一些性能陷阱，例如对!!的过度依赖!! 。 但是首先要使其工作，然后使其优雅！