Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
使用foldr实现zip
我目前正在阅读 Real World Haskell 的第 4 章 我正在努力理清思路根据foldr 实现foldl http book realworldhaskell org read functional programming ht
Haskell
functionalprogramming
fold
combinators
文件夹如何工作?
谁能解释一下怎么做foldr http haskell org ghc docs latest html libraries base Prelude html v foldr work 举这些例子 Prelude gt foldr 54
Haskell
combinators
fold
对于定点组合器 Y,什么是 \x.f(xx)
对于 Y 组合子定理 For every function F there exists an X such that FX X 什么是F意思是这里 固定点是什么F x x 1 我的理解是x 1 x没有解决办法吗 对于下面的证明 For a
Haskell 中的短路 (&&)
最近一直困扰我的一个快速问题 Haskell 是否在返回布尔值的函数中执行所有等价测试 即使返回一个假值 例如 f a b a b 2 a b 2 如果第一个测试返回 false 是否会执行第二个测试 或者 Haskell 是否足够懒 不做
Haskell
Boolean
combinators
Haskell 中的 S 组合器
可以模拟一下S组合器 https en wikipedia org wiki SKI combinator calculus仅使用标准函数 不通过方程定义 并且不使用 lambda 匿名函数 在 Haskell 中表达 我希望它能按类型 a
Haskell
combinators
scombinator
高阶函数有哪些有趣的用途?
我目前正在学习函数式编程课程 我对高阶函数和一等公民函数的概念感到很有趣 然而 我还想不出许多实际有用的 概念上令人惊奇的或只是简单有趣的高阶函数 除了典型的 相当沉闷的map filter等功能 您知道此类有趣函数的示例吗 也许是返回函数
将翻转 lambda 转换为 SKI 项
我在将用于翻转的 lambda 转换为 SKI 组合器时遇到问题 我希望这是有道理的 这是我的转换 fxy fyx f x y fyx f x S y fy y x f x S f y x f x S f K x f S x S f x K
Lambda
lambdacalculus
combinators
kcombinator
scombinator
什么是 zygo/meta/histo/para/futu/dyna/whatever 态射?
是否有一个包含示例的列表 可供没有广泛范畴论知识的人使用 使用香蕉 透镜 信封和铁丝网进行函数式编程 PDF http eprints eemcs utwente nl 7281 01 db utwente 40501F46 pdf也应该有
Haskell
functionalprogramming
combinators
categorytheory
如何在 Clojure 中创建惰性序列生成、匿名递归函数?
Edit 我在写这篇文章的过程中发现了我自己问题的部分答案 但我认为它可以很容易地改进 所以无论如何我都会发布它 也许有更好的解决方案 我正在寻找一种简单的方法来定义递归函数let形式而不诉诸于letfn 这可能是一个不合理的请求 但我寻找
Binding
recursion
Clojure
combinators
lazysequences
Haskell:一些和很多[重复]
这个问题在这里已经有答案了 什么是some and many in Control Applicative Alternative有什么好处 如果我写类似的东西some Just 42 它似乎会导致无限递归 这似乎不太有用 当用作解析器组合
Haskell
applicative
combinators
alternativefunctor
someandmany
箭头定律:首先仅取决于该对的第一个分量。为什么我们需要这个?
约翰 休斯 John Hughes 在他的 将单子概括为箭头 中写道 第 8 章 我们将财产形式化first f仅取决于对的第一个分量 如下所示 first f gt gt gt arr fst arr fst gt gt gt f 据我了
Haskell
monads
arrows
combinators
kleisli
《小阴谋家》中的 Y 组合器讨论
所以 我花了很多时间阅读并重新阅读第9章的结尾小阴谋家 其中应用 Y 组合器是为length功能 我认为我的困惑可以归结为一个对比两个版本长度的语句 在组合器被分解之前 A lambda mk length mk length mk len
SCHEME
combinators
ycombinator
thelittleschemer
解析器组合器:如何终止关键字重复
我试图弄清楚如何使用关键字终止单词的重复 一个例子 class CAQueryLanguage extends JavaTokenParsers def expression START words END x gt println exp
Parsing
scala
combinators
将两个表达式组合成管道
假设我有以下两个表达式 Expression
c
Expression
combinators
以 pointfree 风格编写函数的一般方案是什么?
我正在通过20 个中级 Haskell 练习目前 这是一个非常有趣的练习 它涉及实现类型类的各种实例Functor and Monad 以及需要的函数Functors and Monads 作为参数 但是有可爱的名字 比如Furry and
Haskell
higherorderfunctions
combinators
pointfree
Foldl 是尾递归,那么为什么foldr 运行得比foldl 快呢?
我想测试foldl 与foldr 据我所知 由于尾递归优化 您应该尽可能使用foldl而不是foldr 这是有道理的 然而 运行这个测试后我很困惑 foldr 使用 time 命令时需要 0 057 秒 a a gt a gt a a x
Optimization
Haskell
tailrecursion
combinators
fold