- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
当函数式程序员说某件事可组合或不可组合时,他们的意思是什么?
我读过的一些此类陈述是:
最佳答案
Marcelo Cantos gave a pretty good explanation ,但我认为可以做得更精确一些。
当多个实例可以以某种方式组合以产生相同类型的事物时,一种事物是可组合的。
控制结构可组合性。像 C 这样的语言对表达式和语句进行了区分,表达式可以使用运算符组合来生成新的表达式。 ,可以使用 if
等控制结构组成, for
以及简单地按顺序执行语句的“顺序控制结构”。这种安排的问题在于,这两个类别并不处于平等的地位——许多控制结构都使用表达式(例如,由 if
计算的表达式来选择要执行的分支),但表达式不能使用控制结构(例如,您无法返回 for
循环)。尽管想要“返回 for
循环”可能看起来很疯狂或毫无意义,但事实上,将控制结构视为可以存储和传递的一流对象的总体思想不仅是可能的,而且是有用的。在像 Haskell 这样的惰性函数语言中,控制结构像 if
和for
可以表示为普通函数,可以像任何其他术语一样在表达式中进行操作,从而使函数能够根据传递的参数“构建”其他函数,并将它们返回给调用者。因此,虽然 C(例如)将“程序员可能想做的事情”分为两类,并限制这些类别中的对象可以组合的方式,但 Haskell(例如)只有一个类别,并且没有施加这样的限制,因此从这个意义上说,它提供了更多的可组合性。
线程可组合性。我假设正如 Marcelo Cantos 所做的那样,您实际上是在谈论使用锁/互斥锁的线程的可组合性。这是一个稍微棘手的情况,因为从表面上看,我们可以拥有使用多个锁的线程;但重要的一点是,我们不能让使用多个锁的线程获得它们应有的保证。
我们可以将锁定义为一种可以对其执行某些操作的事物,这些操作具有某些保证。一个保证是:假设有一个锁对象x
,然后假设每个调用 lock(x)
的进程最终调用unlock(x)
,任何电话lock(x)
最终将成功返回 x
被当前线程/进程锁定。这种保证极大地简化了程序行为的推理。
不幸的是,如果世界上有不止一把锁,那就不再是真的了。如果线程A调用lock(x); lock(y);
线程 B 调用 lock(y); lock(x);
那么 A 可能会抢到锁 x
B 捕获锁 y
它们都将无限期地等待另一个线程释放另一个锁:死锁。因此,锁是不可组合的,因为当您使用多个锁时,您不能简单地声称这一重要保证仍然有效 - 不能在不详分割析代码以了解其如何管理锁的情况下。换句话说,您不能再将函数视为“黑匣子”。
可组合的东西很好,因为它们支持抽象,这意味着它们使我们能够推理代码而不必关心所有细节,从而减轻程序员的认知负担。
关于programming-languages - 可组合性在函数式编程中意味着什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2887013/
我刚刚更新了 Ruby,现在我在尝试启动 compass 时遇到以下错误: Encoding::CompatibilityError on line ["28"] of /usr/local/Cell
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 6 年前。
关闭。这个问题需要debugging details .它目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and th
按照目前的情况,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the
我正在尝试在我的 iOS 应用程序中开发可折叠/ Accordion 式的功能。这将是您可以在网站上找到的典型 FAQ 类型功能。我想点击标题,然后显示详细信息。 因为这是帮助部分,只有几个项目,我认
我正在尝试设计一个基于 REST 的 Web 服务来与我正在开发的农场动物管理系统进行交互。 为了详细说明问题,我收藏了动物 属于一个农场。每只动物都有自己的信息——例如姓名、身份证号、品种年龄等。因
我有 3 种不同的表单,其中复选框数量不同,每个部分基本上代表一个表单,因此当用户选择该部分中的复选框时,它会显示他们在该部分的总金额中 checkout 了多少 HTML
我有一份 32 页的 PDF 版家谱。与其将家谱全部放在一个非常大的 PDF 页面上(这是我想要的),不如将其格式化为一组 8 个单独的美国信纸大小的页面应该在整个宽度上缝合; 4 行这样就完成了树。
指SASS implementation for Java? : 在 Maven 目标编译包中自动编译 compass-style.org 样式表的最佳方法是什么? 我不想发送太多的自编译库,也不想通
鉴于以下 XAML... 我正在寻找一种绑定(bind) ComboBox、Button 和 Command 的方法,以便当 ComboBox 的值更改时,在 Command 上调用 CanExe
在玩具应用程序中,我有一个显示所有帖子标题的“帖子”模板。当您单击每个标题时,我不想直接进入“显示” View ,而是直接内联展开该帖子的其余内容。 我考虑过让 postRoute 重用 postsR
我需要一些使用 Twitter Bootstrap 或其他响应式框架的自定义 Swagger-UI 实现。需要在我的移动设备上使用这样的 UI 测试我的 API,但 swagger-ui 不能很好地扩
我正在做一个项目,我真的在尝试编写面向对象的 JavaScript 代码。我刚刚开始阅读Douglas Crockford's JavaScript: The Good Parts我很快开始意识到用
在 C# 中,我通过执行以下操作来加密文本数据(请注意我正在以 block ( block )的形式加密数据): public string EncryptData(string pu
我正在构建一个社交网站,该网站将向全世界公开 REST API (WCF WebAPI),以便任何开发人员都能够为该网站创建客户端应用程序、将其与其他服务集成等。 我想为 API 实现 Faceboo
我是一名优秀的程序员,十分优秀!