Functional Programming 群控编程网

JavaScript闭包

在编程语言中，闭包（也称为词法闭包或函数闭包）是在具有一流功能的语言中实现词法作用域名称绑定的技术。从操作上讲，闭包是一种将函数与环境存储在一起的记录：一种映射，该映射将函数的每个自由变量（本地使用但在封闭范围内定义的变量）与名称绑定到的值或引用相关联关闭已创建。与普通函数不同，闭包允许函数通过闭包的值或引用的副本访问那些捕获的变量，即使该函数在其作用域之外被调用也是如此。谢谢维基百科，这真是一口气。但是，此冗长的段落确实提供了关于JavaScript中闭包行为的全面解释。本着理解的精神，让我们逐句将其分解。一流的功能和词汇范围在编程语言中，闭包（也包括词法闭包或函数闭包）是在具有一流功能的语言中实现词法作用域名称绑定的技术。这句话投了两枚炸弹- 一流的功能和词汇范围。如果函数可以作为参数传递，并由另一个函数返回，并分配给变量，则该语言具有一流的函数。在JavaScript中，您可能已经看到了如下所示的代码。 _.partial…

用Javascript实现记忆

如果您曾经编写过多次计算相同值的递归函数，则可能发现自己希望以某种方式存储这些函数调用的结果以便快速检索。您可能会说，对于我的函数来说，要记住它已经计算出的值！别担心-借助闭包和哈希表的强大功能，备忘录可以帮助我们做到这一点。对于在那里的CS历史学家来说，“记忆”（源自备忘录，拉丁语为“要记住”）是英国人工智能先驱唐纳德·米奇（Donald Michie）发明的，他于1968年首次发表了有关“记忆”功能的力量的学术文章。本质上，记忆是一种将先前函数调用的结果存储（“缓存”）在诸如哈希表之类的数据结构中的技术，以便在再次调用它们时可以快速检索它们。这种“缓存”的功能真正体现在进行许多函数调用的递归函数中。例如，采用递归算法来得出斐波那契数列*中的第n个数。我们将要计算Fib（n-1）和Fib（n-2）的值，以便计算n的值。当然，如果n为1或0，我们将根据斐波那契数（f（0）= 0，f（1）= 1）的“种子值”简单地返回n。此功能非常出色，因为它清晰明了-两行！但是考虑一下计算recursiveFib（5）所需的工作：我们已经在进行重复的函数调用：我们两次计算recursiveFib（2）！这是方便进行备忘录的地方。这是使用备忘录的相同功能：好的，让我们分解一下这里发生的事情：…

榆木中的高级类型–幻像类型

第四部分：幻像类型本系列的第四部分是Phantom Types，作为来自C语言家族背景的人，这个概念特别有趣。在这种背景下，本文不会详尽描述幻像类型，其用例和取舍。像可扩展记录中的帖子一样，我将讨论一个潜在的用例，并鼓励读者进行更多探索。什么是幻影类型？幻像类型是一种参数化类型，其中左侧的一个或多个参数没有出现在右侧。输入APhantomType a = Tag1字符串 | 标签2 在上面的代码中，有一个参数a不会出现在表达式的右侧。如果没有在右侧显示任何参数化类型，则从技术上讲，该类型是幻像类型，这意味着它也是幻像类型。输入APhantomType ab…

榆木建筑（TEA）动画

榆树的“游戏循环” 这是用Elm语言（https://elm-lang.org/）编写的Web应用程序的基础。每当发生任何事情时都会发生此循环。 “东西”将转换为消息（消息），并与模型一起发送到更新功能（控制器）。该模型包含应用程序的整个状态（“真实的单一来源”）。仅基于模型和消息的更新功能可以更改模型并生成一个或多个命令（Cmd）。然后，命令由Elm运行时执行，而新模型用于通过视图功能处理后更新应用程序界面。简而言之，这就是您需要了解的有关Elm Architecture的所有信息。脚步发生了某些事（例如：用户单击按钮）产生一条消息（ Msg ） Msg +…

第8天：LogicT —列表变压器

list monad允许您执行不确定性搜索以找到问题的解决方案。在程序的每个步骤中，您都可以选择绑定到变量的可能值，然后程序的其余部分将运行几次，尝试每个可能的值并将每次运行的所有结果收集到一件事中。那就是>>=在[] 。这是一个非常人为的问题：我们将搜索所有整数以查看是否存在大于100的整数。首先，我们需要一个所有整数的列表，我们将通过组合正数，零数和负数来获得。正数= [1 ..] 底片=地图（*（-1））[1 ..] the_numbers =正数++ [0] ++负数现在，我们可以运行一个简单的程序来找到第一个（ head…

我对Clojure和Lips的幻想破灭了

更新：在与本文相关的许多方面，我已经得到纠正。阅读我的跟进。我应该从一些背景开始：您需要知道的最重要的事情是，我是一名恢复了C ++的True Believer。我也是一个新贵（意味着我总是被新事物所吸引）。因此，我强烈希望有更好的东西，同时又非常疲倦，不会陷入狂热者的陷阱。我在这些极端之间摇摆不定，并且不断地监视自己是否处于这些趋势中。除了Clojure，我没有尝试过其他Lisps，因此我可能会根据Clojure的具体情况对Lisps做出一般性结论。我预先致歉，并欢迎更正。更新：从那以后，我被告知至少Common Lisp具有在编译时检查的关键字参数。在开始感到不安之前，我花了很长时间潜入Clojure。我花了很长时间了解这种感觉的来源。我从C ++的经验中学到了更快发现幻灭的症状，但是我认为Lisps的陷阱更加微妙。使用C…

OCaml走向清晰和优雅

这是编写更好的OCaml代码的指南。我们所有人都喜欢编写正确，可维护，高效甚至美观的OCaml代码。可悲的事实是，这不能仅通过遵循某些规则来实现。就像仅仅由正确的句子和连贯的段落组成一本书是不够的。但是，违反这些原则的书几乎没有机会找到许多读者。同样，本指南将尝试帮助对OCaml进行编程的小型结构，我们希望以此为基础构建大型结构。官方OCaml指南-非常详细简街 Xen项目 Upenn针对学生项目的样式指南 OCaml教程 OCaml手册真实世界OCaml书锤实验室以下是我喜欢其干净代码的项目列表，这些项目可以作为一般启发。特佐斯 OCaml容器这可能需要一些讨论…

10杀手药剂技巧＃8

Elixir Pro提示和技巧。大家好！欢迎回到另一套杀手e剂秘诀。本文包含另外10个不老长寿药诀窍，它们可能对我们的日常编程有用。查看本系列的前几篇文章杀手药剂秘诀＃1 ＃2 ＃3 ＃4 ＃5 ＃6 ＃7 在撰写本文时，我正在使用以下开发堆栈。十六进制：0.18.1 药剂：1.7.3 一次性密码：21.1.1 我知道，您可能在想为什么有人会这样做。…

功能重构

大多数软件工程师面临的最大挑战之一是，如何维护写得不好的代码。重构代码是一项非常困难的任务，它可能会在所谓的工作软件中破坏很多工作。一个只能做出两种选择，要么在代码中添加更多的混乱，要么深入挖掘污垢并尝试对其进行清理。大多数时候，我们采用最实用的混合方法。在本文中，我们将看到一些重构代码的功能方法。在这里，我们有简单的客户和订单实体– 公共类客户{ int customerId; 年龄字符串名称； List 订单； } 类Order { int orderId;…

纪律化无标签-正确测试Scala代码

随着Scala领域最近采用所谓的最终无标签编码的热潮，这似乎正解决Free monad方法的缺点，程序的可测试性比以往任何时候都更好。普遍的共识是，自由/无标签样式的主要好处之一是，它允许简单的单元测试程序，而无需进行繁琐的设置依赖项等过程。 class TaglessService [M [_]：Monad]（taglessRepository：TaglessRepository [M]）{ def getList（limit：Int）：M [Seq [Item]] = { taglessRepository.getList（限制） } }…