函数式编程之组合

顺序的实质是什么?数据结构+算法!!!我想这也是许多顺序员给出的答案,我本身也承认这一看法,当我们了解了某一门编程语以后,接下来我们面临的每每是数据结构和算法的进修。而如今,我关于顺序的实质有了不一样的答案:分化和组合。我的先生曾告诉我,工程师或许顺序员有一个很主要的才能(我猜这也是最主要的才能),那就是发明和处理题目。<!– More –>而我现在只能接触到处理题目的条理,这也是我也一直在探访的目的 —— 分化和组合。

分化与组合

在现实的顺序开辟中,我们遇到的题目平常是一个很大的命题,难以笼统,这时候每每经由过程分化子题目的体式格局对顺序举行分而治之。在算法里,这类体式格局叫做分治。

将顺序分化成可以笼统的子顺序以后,再将他们组合成一个具有完整功用的顺序。组合是顺序或代码可复用的条件,函数式编程中组合的运用也会给我们带来意向不到的欣喜

Haskell 的组合

Haskell是纯函数式编程言语,他的壮大不必我多说,这里展现一下他的组合才能。

compose     :: (b -> c) -> (a -> b) -> a -> c
compose f g = f . g

在函数式编程的组合中,我们是从右到左实行的,上述的例子中我们借助 (.) 函数完成组合,固然,我们也可以用本身的体式格局完成。

compose       :: (b -> c) -> (a -> b) -> a -> c
compose f g x = f (g x)

经由过程 Haskell 壮大的范例署名中,大抵可以推出compose函数的作用。b -> c 代表了一个从b类到c类的映照函数,a -> b也是一样,compose函数接收两个函数fg,返回一个新的函数hh函数表达了从a类到b类再到c类的映照。

举个例子,我们有sum函数 —— 给列表乞降,odd函数 —— 推断数字是不是是奇数。(简朴起见,给他们的范例署名并不正确,但充足简朴)

odd      :: Int -> Bool
sum      :: [Int] -> Int

sumIsOdd :: [Int] -> Bool
sumIsOdd = compose odd sum

sumIsOdd [1,2,34,5]

sumIsOdd函数组合了乞降与推断奇数两个函数,他并没完成详细的功用,而是经由过程一种浅显的组合完成了将单一的函数转化成轻微庞杂的函数,从而到达功用上的扩大,我想这就是组合的魅力,也是函数式的魅力之一吧。

JavaScript 的组合

JavaScript是一门表现力极强的言语,除了实质上对面向对象的支撑,对函数式编程的支撑也涓滴不弱,组合函数完成起来虽然庞杂,然则也未必不可行,而且相关于Haskell的艰涩,JavaScript越发简朴一点

const odd = x => x % 2 !== 0;
const sum = args => args.reduce((a, b) => a + b);

const compose = (...fs) => arg => fs.reduceRight((f, g) => g.call(null, f), arg);

借助ES6的箭头函数完成起来随心所欲,可见即便是JavaScript这类以面向对象头脑设想的言语也愿望在函数式编程上面能有所建立。

顺带一提,对数组扩大的mapfilterreduce等函数,也是JavaScript对函数式编程的支撑,虽然只是应用while轮回做的语法糖,效力也不如while轮回,然则在JavaScript的语境中,很少对效力有极高的请求,所以从语义上来说,我更倾向用函数式的体式格局处理纯数据的题目。

小结

函数式编程跟着多核CPU的生长,最先再次出如今我们的视野中,有时候也会忧郁过于吹嘘函数式,反而落入俗套。细致想一想,编程范式并非一枝独秀的天下,而是百花怒放的,各有善于的范畴。固然在一些环境下二者也是可以共存的,以至二者同时带来的收益能够越发可观呢。

说回组合,着实我本身也只是一个半吊子,也须要不停的进修才能对组合有一个越发清楚的熟悉,而不是拘泥于言语,在现实临盆中分化和组合也着实太主要了,并非一两个函数可以归纳综合的,如今的也我只能以这类简朴的体式格局作了解了。

    原文作者:满天星
    原文地址: https://segmentfault.com/a/1190000016240298
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞