龙空技术网

Haskell的魔法 - 函数式编程初探之一

独角兽电波 317

前言:

而今兄弟们对“函数式编程语言有哪些类型”可能比较着重,小伙伴们都想要剖析一些“函数式编程语言有哪些类型”的相关资讯。那么小编同时在网上收集了一些对于“函数式编程语言有哪些类型””的相关资讯,希望兄弟们能喜欢,朋友们快快来了解一下吧!

Haskell是最著名的函数式编程语言。Haskell魔法之一是函数。

函数

熟悉其他编程语言的朋友们对于函数不会陌生。例如,在C++中,定义四个函数。

备注:演示。函数采用的算法未充分优化。

// 返回整数参数之和int add(int x, int y) { return x + y;}template<T>T add (T x, T y) { return x + y; }// 将整数数组的元素加倍int* double_us(int numbers[], size_t len){    for (size_t i = 0; i < len; ++i) numbers[i] *= 2;    return numbers;}//返回一个整数的因子std::vector<int> divisors(int x){  std::vector<int> v;  for (int i = 1; i <= x; ++i)   {   	if (x % i == 0) v.push_back(i);   }  return v;}// 判定素数bool prime(int x){    return divisors(x).size() == 2; }

Haskell的函数和C++函数类似,有函数名、参数、返回值类型。对应上面的四个C函数,Haskell函数定义如下。

-- 返回整数参数之和add :: Num a => a -> a -> aadd x y = x + y-- 将整数数组的元素加倍double_us :: Num a  => [a] -> [a]double_us xs = map (*2) xs-- 求一个整数的因子divisors :: Integral a => a -> [a]divisors x = [k | k <- [1 .. x], mod x k == 0]-- 判定素数prime :: Integral a => a -> Boolprime = (==2) . length . divisors          

Haskell的函数定义,起首函数名,例如add。紧跟着参数x和y,参数之间以空白符号间隔。等号=之后是函数体 x + y。

Haskell特别之处在于,函数的类型声明。见证魔法的时候到了。

add :: Num a => a -> a -> a

上面这行代码描述了add函数的参数类型(数字类型类)、返回值类型(数字型类)、参数和返回值必须是同一类型。Num a代表数字类型类,包括整数类型(例如Int)、浮点类型(Float)。聪明的你看出来来吗?我们用Haskell定义的add函数是“范型”函数,比C++版本(Template)的add函数定义更简单明了,更容易看懂,更精确。

Haskell的魔法中的魔法在于,事实上,add :: Num a => a -> a -> a 这行代码可以省略,Haskell编译器能自从推导出来!于是,之前我们写下来的Haskell代码精简为,

-- 返回整数参数之和add x y = x + y-- 将整数数组的元素加倍double_us xs = map (*2) xs-- 求一个整数的因子divisors x = [k | k <- [1 .. x], mod x k == 0]-- 判定素数prime = (==2) . length . divisors          

神奇吧?服不服?

Haskell函数的魔法远不止这些。下期介绍部分函数(partial function)。

喜欢就点赞。 更多精彩,请关注我

今日头条号/西瓜视频/抖音:IT之州

标签: #函数式编程语言有哪些类型