为什么这个函数不能在Haskell中终止？ - 腾讯云开发者社区

这个行业里的绝大部分人都是使用像Python, Ruby, Java或C#等面向对象的编程语言，它们用起来很顺手。...Haskell里的Monads是跟指针一样基础且强大的概念(你很可能在不知道它叫什么的情况下就已经使用过它们了)。...很少人能在过了可塑的年龄后还受得了一次又一次的挫折，否则我们现在都早成专家了，不是吗？　　还有更复杂的东西，有大量的语言和算法研究都是用函数式语言实施的(尤其是Haskell)。...这些叠加起来的复杂因素导致了不出意外的结果：很多人不情愿在函数式编程学习中投入时间。很容易理解这种不情愿，我干嘛不把花在学习这些东西的时间用在实现什么东西上呢？...这种定义方式几乎是滑稽可笑的，但它能让你想到函数式概念。另外一个好例子是Scala语言如何利用完备的Java Fork/Join 类库，把它轻松的集成的自己的自有语法中。

1.1K5 1

从素数生成看Haskell的简洁性

最近有空就在看Haskell，真是越看越觉得这个语言有意思。在知乎（原回答@阅千人而惜知己的）找到了一份很有意思的求素数代码，非常简洁，我觉得很能体现这个语言的特点。...核心函数就是sieve，大致处理过程是这样：读入一个列表，并取出第一个元素p。然后筛选出不能被p整除的剩余数字，递归求解。这里提及一下，[2..]是Haskell列表的一个神奇的特性，即支持无限列表。...这个Haskell的lazy特性有很大的关系。...这段代码也是Haskell简洁性的高度体现。其中，tail想到与后移整个数列，之后通过zipWith函数的处理将两个数列相加，以此来达到F(n)=F(n-1)+F(n-2)的效果。...虽然说这样高度精简的代码由于不直观，并不太适合在实际的项目中使用，况且其他语言的稍长的代码甚至可能在效率上更优，但这仍不影响Haskell表现其独有的简洁及优雅的魅力。

3371 0

您找到你想要的搜索结果了吗？

是的

没有找到

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（汇总）

这是这个系列的最后一篇，从编程范型的角度概览，前面几篇的链接在文章后半部分有汇总。...这里提到 “多范型”，其实这个概念定义也不精确，大致来说，除了 Haskell，我们今天讨论的三门其它的语言，都算是多范型的编程语言。例如用 Java 也可以写函数式编程的代码，但是需要避免使用状态。...Haskell 就是专注于函数式编程的典型。之前已经介绍过函数式编程的诸多特性，而且它具备良好的模块化特性。...纵览编程范型之后，再来回顾一下之前几篇的内容，欢迎移步阅读：《从 Java 和 JavaScript 来学习 Haskell 和 Groovy（引子）》，记载了写这一系列文字的初衷，以及为什么选这几门语言...很多特性都没有涉及，比如 Haskell 的很多高级特性，是因为我觉得我没法写好，就先不写了。

5191 0

Kotlin版图解Functor、Applicative与Monad

与从 Swift 版翻译而来的 Kotlin 版不同的是，本文是直接从 Haskell 版原文翻译而来的。这是一个简单的值： ? 我们也知道如何将一个函数应用到这个值上： ? 这很简单。...但是 fmap 怎么知道如何应用该函数的呢？究竟什么是 Functor 呢？在 Haskell 中 Functor 是一个类型类。其定义如下： ?...这究竟是什么意思，这个函数为什么包装在 JUST 中？...Monad 有一个函数 ))=（在 Haskell 中是 >>=，读作“绑定”）来做这个。让我们来看个示例。老搭档 Maybe 是一个 monad： ?...现在你已经通过这篇指南润湿了你的口哨，为什么不拉上 Mel Gibson 并抓住整个瓶子呢。请参阅《Haskell 趣学指南》的《来看看几种 Monad》。

1.2K2 0

C++17,标准库新引入的并行算法

函数(\a -> a * a).(4) 和 (5) 则更加复杂些:(4) 中我将整数列表中的所有整数对相乘(乘法单位元素1作为初始元素).(5) 中则做了所有整数对相加的操作.(6), (7), 和...(9) 中的操作可能有些难以理解,你必须从右往左来阅读这几个表达式.scanl1 (+) . map(\a -> length a) (即(7)) 是一个函数组合,其中的点号(.)用以组合左右两个函数....第一个函数将列表中的元素映射为元素的长度,第二个函数则将这些映射的长度相加.(9) 中的操作和 (7) 很相似,不同之处在于 foldl 只产生一个数值(而不是列表)并且需要一个初始元素(我指定初始元素为...我想你也许好奇为什么我要在介绍C++的文章中写这么多 Haskell 的内容(这些内容还颇具挑战性),那是因为两个原因: 你可以知道 C++ 中相应算法的历史比照 Haskell 的对应方法可以帮助我们理解...Final remarks C++17 新引入的这7个算法有很多重载版本,调用的时候,你可以指定初始元素,也可以不指定初始元素,同样的,你可以指定执行策略,也可以不指定执行策略.你甚至可以在不指定二元运算的情况下调用需要二元运算的算法

1.1K2 0

为什么 Haskell 是我们构建生产软件系统的首选

在这篇文章中，我将介绍 Haskell 的一些突出特性，这些特性让它成为一种出色的、具有行业水准的语言，从而非常适合构建商业软件；我还会解释为什么我们的新项目考虑使用的第一个工具往往就是它。...我们要找一个函数，这个函数需要一个要搜索的项目、一个项目列表并返回一个布尔值。我们不关心项目的类型，只要搜索项目和列表中的项目属于同一类型即可。...以纯函数式风格编写代码具有很多好处，并且有利于打造井井有条的代码库。 “纯函数式编程”中的“纯”这个概念很重要。从这个意义上讲，纯度意味着我们编写的代码是纯净的，或者说没有副作用。...好像我们忘记更新 createCustomerNotification 函数来处理这个新状态值。编译器抛出一个错误，并告诉我们 case 语句在其模式匹配中不处理 Refunded 值。...但是，当有人在寻求帮助或想要大致了解这个语言时，随便选择哪个社区都是不错的主意。 10结论为什么 Haskell 是我们构建生产软件系统的首选编程语言呢？原因有很多。

1.4K1 0

软件质量的黄金准则

我将在本文引用 Haskell 社区和生态系统的例子，进一步解释这个准则对软件工程 tradeoffs 的影响。免责声明：软件质量的黄金准则不代表你对待他人的黄金准则，反之亦然。...长久以往，这些开发者在面对热门工具中的问题就会熟视无睹。举例来说，很长一段时间以来，Haskell 不支持访问资料字段的点语法。...在 Java 中，如果想要修改嵌套结构资料中的数值，只需要将参照变数串起来，例如： a.b.c.d.e = 10 但是，在 Haskell 中则是每多一层，每个等号就会重复之前等号的序列并多一个取值用的函数...类型化 API 函数类型同样可以遵循这个准则。假如有两种方法可以为 head 函数分配一个“安全”（总计）类型，用于获取列表中的第一个值。...这并不意味这 Haskell 社区中的分歧可以得到解决，也许收费贡献者和开源志愿者之间的矛盾是不可调和的，但这个例子仍然说明了未能在源头解决问题对质量的明显影响。

5582 0

Ramda 鲜为人知的一面

的文档不直接使用TypeScript 表达函数的类型呢?...其实上面的示例已经部分回答了这个问题 -- 因为更加简洁.其实Ramda 文档中的类型签名使用的是Haskell 的语法, Haskell 作为一门函数式编程语言, 其语法可以很简洁地表达柯里化的语义,...相较之下, TypeScript 的重载的表达方式就显得比较臃肿.当然, 使用Haskell 的类型签名的意义不仅于此, 让我们再看看其他"奇怪"的函数类型:ap[a → b] → [a] → [b]...答案是可以的, 我们可以将一个一元函数a -> b理解为"一个包裹在上下文中的b, 只不过为了获取这个b, 需要先传入一个a.为了减少语法噪音, 让我们先看看Haskell 对ap 的定义:instance...Ramda 要这么设计本文只聚焦于"是什么", 至于"为什么", 这个我们留到下一篇?.

1.1K5 0

听君一席话，如听一席话，解释解释“惰性求值”~

longCalculation1(a,b)、longCalculation2(b,c)、longCalculation3(a,c)，longCalculation1/2/3 顾名思义，是一些包含很长的计算过程的函数...比如：let result1 = longCalculation1(a,b); 这个表达式，意思是把 longCalculation1(a,b) 计算的返回值赋给 result1；在惰性求值中，赋值时...，但是其本身并不是惰性求值；惰性求值是编程语言的特性设计，很多纯粹的函数式编程语言都支持这种设计；比如在 Haskell 中实现上述示例： myFunction :: Int -> Int -> Int...有点像 Promise 的意思，你不告诉我 resolve/reject，我就 pending；Haskell 中，你不告诉我什么时候调用这个值，我就维持 thunk 的状态；无限列表在 Haskell...不断递增的数组；为什么在 Haskell 中行，在 JavaScript 中不行？

6612 0

精读《深度学习 - 函数式之美》

and Haskell 就很好的诠释了这个道理。...然而在生产环境中，基于性能和安全性的考虑，一般会使用函数式语言 Clojure 或 Haskell。在生产环境中，可能要并发出里几百万个参数，因此面临的挑战是：如何高效、安全的执行这些运算。...所以为什么函数式编程语言可以胜任深度学习的计算要求呢？深度学习的计算模型本质上是数学模型，而数学模型本质上和函数式编程思路是一致的：数据不可变且函数间可以任意组合。...3 总结本文介绍了为什么深度学习更适合使用函数式语言，以及介绍了 Clojure 与 Haskell 语言的共性：安全性、高性能，以及各自独有的特性，证明了为何这两种语言更适合用在深度学习中。...在前端领域说到函数式或函数之美，大部分时候想到的是 Class Component 与 Function Component 的关系，这个理解是较为片面的。

4211 0

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（DSL）

有了闭包，有了 Lambda 表达式（其实本质就是匿名函数），也就有了使用函数式编程方式在 Java 中思考的可能。...的注解，是可以用来修饰 “函数接口” 的，函数接口要求整个接口中只有一个非 java.lang.Object 中定义过的抽象的方法（就是没有具体实现的方法，且方法签名没有在 java.lang.Object...比如 Categories，这个，我在前面一篇《元编程》中已经介绍过了。最后来说 Haskell。...前文已经介绍过了高阶函数的使用，但是在 Haskell 中，所有的函数都可以理解为，每次调用最多都只接受一个参数，如果有多个参数怎么办？...因为对于常规语言，如果面临递归工作栈过深的问题，可以优化为循环解决问题；但是在 Haskell 中，是没有循环语法的，这就意味着必须用尾递归来解决这个本来得用循环才能解决的问题。

4931 0

柯里化有用吗？

“这不是Haskell” 当我一开始提出要把柯里化作为一个新增功能放到我们工作中的工具箱中时，我的同事William（不是真名）坚决坚持：这不是Haskell！...Haskell和JavaScript的第一点不同是，在Haskell中，柯里化是内置的概念。这是入门的门槛——因此所有的Haskell开发者都知道这个概念。...Promise对象 (the5fire注: 这个一元函数就是柯里化返回的被局部赋值的函数，其中a被赋值为2，b被赋值为1，c是新返回函数的参数) // 使用了threeP函数的代码可能最终发现了这个错误...var threeP = Promise.resolve(1) .then(add(2)) 嵌入在大多数应用的更复杂的代码中，容易引起你或者你的同事浪费几个小时来查找这个神秘函数的出处。...箭头函数几个月之前，Josh Habdas评论了那篇文章：考虑到[ES2015]中的箭头函数，示例中获取数据的代码可以进行明显的简化。他的话没毛病。

8443 0

当我们谈论Monad的时候（二）

但是如果按照这个方法，我们对每一个数量的参数都需要写一个liftM*函数，非常麻烦。而对于容器外面的普通函数，我们就不会遇到这个问题，因为函数都是柯里化的。所以，为什么不把柯里化引入Functor呢？...换言之，就是要允许在Functor中“存放”函数，而这个Functor就是Applicative。为了把函数放进Functor，我们需要考察函数的性质。对于函数来说，最重要的就是“应用”。...Haskell中全符号的、被小括号包裹的函数默认是中缀的，比如这个函数的调用就是中缀形式f xs。接受一个容器内的函数和值，并将运算之后的结果重新放在容器中。...它的行为就是取第一个参数m a的值，将其应用在第二个参数的函数（这个函数也叫monadic map）。由于这个函数并不是在容器中的，因此>>=的实现比起Applicative要更容易些。...在IO操作中，这个优势还可以变得更加的明显。Haskell采用Monad实现IO相关的API，这个Monad就称为IO Monad。

8131 0

Ramda 哪些让人困惑的函数签名规则

类型签名的语法有些"奇怪": add: Number → Number → Number 我们结合 Ramda 的柯里化规则, 稍加推测, 可以将这个函数转换为TypeScript 的定义: export...Ramda 的文档不直接使用TypeScript 表达函数的类型呢?...Ramda 文档中的类型签名使用的是Haskell 的语法, Haskell 作为一门纯函数式编程语言, 可以很简洁地表达柯里化的语义, 相较之下, TypeScript 的表达方式就显得比较臃肿....当然, 使用Haskell 的类型签名的意义不仅于此, 让我们再看看其他"奇怪"的函数类型: ap: [a → b] → [a] → [b] Apply f => f (a → b) → f a → f...函数也可以是一个「上下文」? 答案是可以的, 我们可以将一个一元函数a -> b理解为"一个包裹在上下文中的b, 只不过为了获取这个b, 需要先传入一个a.

7701 0

成为函数式编程工程师四年，我为什么说它既“流氓”又“可爱”

在这个 Java 应用中，我发现了大量“防御性复制代码”。在我把许多核心数据结构从可变改为不可变后，轻松地删掉了这些复制代码。...在这个 Java 应用程序中，我将很多有状态的函数转换为无状态的函数，让代码更加简洁，并修复了一些错误。...此外还有其他的一些好处（当然也有缺点），但总的来说，在这个 Java 应用程序中，我能够用较少的代码行修复错误并实现大量的新功能。在我的经验中，这是很常见的收益。这些好处是众所周知的。...“流氓”的函数式编程为了说明我的观点，我决定在函数式编程语言 Haskell 中实现快速排序。...按照其主页上的描述，Haskell 是一种高级的、纯粹的函数式编程语言，目前也是我最喜欢的编程语言之一。你几乎不可能在其他语言中得到比 Haskell 更多的“FP”基因了。

3552 0

为何 Go 的声明语法有点怪？（语法比较）

函数也遵循这个基本的结构 int foo(int x) int foo2(char *arg[]) 这是一个很聪明的结构，对于简单类型来说，但是当类型变得复杂后，这个语法就会变得让人迷惑，得费点工夫才能看明白...Java 里没有函数指针，只有使用接口，这大大简化了类型声明的复杂度，而且 Java 的数组声明也和 C 不一样，为了保持清晰度，Java 将中括号挪到了类型后面 int[] a, 而不是跟 C 一样...我扫视键盘，觉得@ 符号甚好，语义和含义都符合取值的要求，只是不知道语言作者在设计的时候为什么没有考虑好，可能是这个符号没人用过，他们也就顺理成章的沿袭了 C 的语法吧。...Haskell 语法 Haskell 作为一门纯函数式编程语言，大部分人可能听过，但是接触过、学习过的人应该不会太大，毕竟平常工作用不到，我也只是简单的了解过，里面的一些函数式理念对于写出更复用的函数有很强的启发作用...Haskell 为什么要这样设计？这和 Haskell 语言的函数式本质是分不开的。

1.7K4 0

Heskell与函数式编程

导语 :这个系列打算分为三部分，由浅入深地介绍所谓的函数式编程 1）Haskell入门 2）Monad介绍 3）函数式编程的思想 Haskell简介 Haskell诞生于1990年，是一门纯函数式编程语言...然后看下Haskell对这个问题的处理： ?...就一行代码，涉及了三个函数 1）filter ：从价格集合中筛选出大于20的价格，形成新的集合 2）map：对1中产生的新集合进行变换处理，这里的处理是每个元素*0.9，也就是打九折 3）sum：对2中产生集合进行求和处理...这段代码定义了一个函数findMax，输入两个数字x和y，输出x和y的最大值，这里要注意下haskell内if else语句else是不可或缺的，不像JAVA可以只写if不写else。...类型和函数 Haskell是静态类型，也就是编译器在编译过程中就能够明确每个值的类型，当发现类型不匹配的时候，在编译过程中就会报错。比如输入这样一个函数： ?

8537 0

每个程序员都该学习的5种开发语言

转载请注明出处：葡萄城官网我曾在某处读到过（可能在《代码大全》，但我不敢确定），程序员应该每年学习一门新的编程语言。...学习一种面向对象的语言的同时，也学习一种像Haskell或Scala这样的函数式编程语言，这能拓展你的思维和编程认知。你可以在本文找到学习这5种语言的更多理由。...在美国，许多学术课程中，Python已经取代了Java成为接触编程的首选语言。你将从学习Python中得到什么呢？——那将非常多。...并且，如果你困惑于不知道该从Java还是Python开始，看看这个，它比较了两者。 3....它是一种函数式编程语言，提供了一种跟面向对象语言不同的编程范式。这能改进你的思维和代码认知。虽然有许多函数式编程可供选择，比如Haskell。

9244 0

热爱函数式的你，句句纯正的 Haskell【表达式篇】

，n 是入参；可以看到，Haskell 的表达式并没有像在 JS 中的括号进行包裹；当然，你也可以写像 JS 中的等号运算符； Prelude> isFive = (==5) Prelude> isFive...，满足条件立即跳出；不过 JS 实现责任链要进行封装，Haskell 直接原生语法就支持，| 就是对 if..then..else 的封装；运算符前文已提到：加号、减号等，这些本质和函数是一样的，...中，有十个优先级（0 ~ 9））；结合性（分为左结合、右结合、无结合）；位置（前、中、后、混合）；提供一个优先级和结合性的表：图片来源：异步社区比如运算符 !!...、小结本篇我们又学习了 Haskell 的新的知识点： if else 是怎么写的，与 JS 差异在哪； switch 是怎么写的，与 JS 差异在哪；模式匹配（与责任链模式类似）；函数与运算符等价...、$ 等；这些都是为后面揭开 Haskell 函数式编程神秘面纱的基础，期间也能一窥这种把函数当计算的奇妙之处，即使不能在开发生产中用到 Haskell，对于平常的编程思考也是大有裨益的，希望你有受用到

1.1K3 0

大佬，JavaScript 柯里化，了解一下？

Haskell），是通过Currying 技术支持多参函数这一语言特性的。...所以 Currying 原本是一门编译原理层面的技术，用途是实现多参函数。柯里化去向哪里在 Haskell 中，函数作为一等公民，Currying 从编译原理层面的技术应运而成了一个语言特性。...从这个结果看 Currying 性能无疑是最差的，但是另一方面就算最差的trueCurrying 的实现，也能在本人的个人电脑上达到 50w Ops/s 的情况下，说明这些性能是无需在意的。...| 到底需不需要 Currying ---- 为什么需要 Currying 1.为了多参函数复用性 Currying 让人眼前一亮的地方在于，让人觉得函数还能这样子复用。...| 结论 ---- Currying 在 JavaScript 中是“低性能”的，但是这些性能在绝大多数场景，是可以忽略的。 Currying 的思想极大地助于提升函数的复用性。

1.5K7 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

函数式编程很难，这正是你要学习它的原因

从素数生成看Haskell的简洁性

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（汇总）

Kotlin版图解Functor、Applicative与Monad

C++17,标准库新引入的并行算法

为什么 Haskell 是我们构建生产软件系统的首选

软件质量的黄金准则

Ramda 鲜为人知的一面

听君一席话，如听一席话，解释解释“惰性求值”~

精读《深度学习 - 函数式之美》

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（DSL）

柯里化有用吗？

当我们谈论Monad的时候（二）

Ramda 哪些让人困惑的函数签名规则

成为函数式编程工程师四年，我为什么说它既“流氓”又“可爱”

为何 Go 的声明语法有点怪？（语法比较）

Heskell与函数式编程

每个程序员都该学习的5种开发语言

热爱函数式的你，句句纯正的 Haskell【表达式篇】

大佬，JavaScript 柯里化，了解一下？

扫码

相关资讯

热门标签

活动推荐

运营活动

社区

活动

资源

关于

腾讯云开发者

热门产品

热门推荐

更多推荐