Questions tagged «pointfree»

斐波那契功能是通过什么机制记忆的？ fib = (map fib' [0..] !!) where fib' 1 = 1 fib' 2 = 1 fib' n = fib (n-2) + fib (n-1) 与此相关的是，为什么没有这个版本？ fib n = (map fib' [0..] !! n) where fib' 1 = 1 fib' 2 = 1 fib' n = fib (n-2) + fib (n-1)

114 haskell  lazy-evaluation  fibonacci  memoization  pointfree 

我最近注意到的一句话是“无点”风格的概念。 首先，有一个问题，还有这个问题。 然后，我发现他们在这里提到“可能值得讨论的另一个主题是作者对点自由样式的厌恶”。 什么是“免积分”风格？有人可以给出一个简洁的解释吗？它与“自动”咖喱有关系吗？ 为了了解我的水平-我一直在教自己Scheme，并且编写了一个简单的Scheme解释器...我了解“隐式”的currying是什么，但是我不知道任何Haskell或ML。

100 functional-programming  coding-style  scheme  pointfree 

我知道在某些语言中（Haskell？），努力是为了实现无点样式，或者永远不要通过名称显式地引用函数参数。对于我来说，这是一个很难理解的概念，但它可能有助于我理解该样式的优点（甚至是缺点）。谁能解释？

69 f#  functional-programming  pointfree 

这是我在某处遇到的代码，但想知道它是如何工作的： findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) 输出：findIndices（== 0）[1,2,0,3,0] == [2,4]，其中pred是（== 0）＆xs是[1,2,0,3,0] 我将展示一些理解： (zip [0..] xs) 上一行所做的是将索引放入列表中的所有内容。对于上面给出的输入，它看起来像这样：[（0,1），（1,2,2，（2,0），（3,3），（4,0）] (pred . snd) 我发现这意味着像pred（snd（x））。我的问题是，列表是否由邮编组成？我倾向于是，但是我的猜测很脆弱。 接下来，是我对fst和snd的理解。我知道 fst(1,2) = 1 和 snd(1,2) = 2 …

12 haskell  composition  higher-order-functions  function-composition  pointfree