Haskell中的递归

递归就是定义函数以调用自身的方式,关于递归解决问题的实例有很多,如斐波那契数列,还有汉诺塔问题,递归也正是Haskell中用来解决循环问题的关键。

自定义maxinum函数

maxinum取一组可供排序的list作为参数,并且返回其中的最大值。

我们要弄懂一点,一个list的最大值,就是第一个元素,和后面所有袁旭相比较的结果。

maxinum :: (Ord a) => [a]->a
maxinum [] = error "empty"
maxinum [x]=x
maxinum (x:xs)
| x > maxtail = x
| otherwise = maxtail
where maxtail = maxinum xs

自定义replicate函数

replicate函数接收一个int和一个元素作为参数,返回int个元素的list。

replicate :: (N um i ,Ord i ) =>i->a ->[a]
replicate n x
| n <=0 =[]
| otherwise = x:replicate(n-1) x

Note : Num不是Ord的子集,也就是说 数字不一定拘泥于排序。

自定义take函数

take函数接收一个int和一个list作为参数,对list进行切片。

take :: (Num i ,Ord i) =>i->[a]->[a]
take n _
| n <=0 = []
take _ [] =[]
take n(x:xs)=x:take(n-1) xs

自定义reverse函数

在haskell中支持无限list,是一种无限的数据结构,,无限list的好处就在于我们可以在任意位置令其断开。

reverse :: [a] -> [a]
reverse []=[]
reverse (x:xs) = reverse xs ++ [x]

自定义repeat函数

repeat函数取一个元素作为参数,然后返回无限长的仅存在该元素的list。

repeat :: a ->[a]
repeat x = x:repeat x

快速排序

排过顺序的list就是令所有小于等于头部的list在左边,大于等于头部的list在右边,也就是无序区元素的归位操作。

quicksort :: (Ord a) =>[a] ->[a]
quicksort [] = []
quicksort (x:xs) =
let smallersort = quicksort[a|a<- xs, a <=x] -- 属于xs,并且小于x
let biggersort = quick[a|a<- xs,a>x]
in smallersort ++ x ++ biggersort

用递归来思考

递归的固定模式:先定义一个边界条件,在定义一个函数,让它从一堆元素中处理一件事情后,再把余下的元素重新交给这个函数,直到达到边界条件。

比如 sum 函数就是一个list的头部与其尾部的sum。

所谓的边界条件就是为了避免进程出错而设置的保护措施,也就是在定义递归时需要思考它在什么条件下不可用,终止递归。

高端函数

高端函数就是可以接受函数作为参数也可以返回函数作为结果,Haskell的思想就是定义问题是什么来解决问题。

本质上,Haskell的所有函数都只有一个参数,所有的多参数函数都是curried functions,比如max函数,它会先回传一个含有一个参数的函数,5为参数对它进行调用,然后返回,也就是(max 4) 5,所以说我们定义函数使->代表的就是回传函数,后面接的就是本次或下一次传入的参数。

lambda函数

lambda函数就是匿名函数,有时我们要传递给高端函数一个函数,而这函数我们只用一次,那么编写一个匿名函数是最好的选择。

编写lambda,就写 \ 参数 ->函数体

filter函数

filter函数取一个限制条件和一个list,回传该list中所有符合该条件的元素。

类型声明:

filter :: (a -> Bool) -> [a] ->[a]
fiter _ [] = []
filter p(x:xs)
| p x =x: filter p xs
| otherwise = filter p xs

map函数

map取一个函数和list作为参数,遍历该list的每个元素来调用该函数返回一个新的list。

类型声明:

map :: (a -> b) ->[a] -> [b]
map _ [] = []
map f (x:xs) = f x : map f xs

应用:

ghci> map (+3) [1,5,3,1,6]
[4,8,6,4,9]
ghci> map (++ "!") ["BIFF","BANG","POW"]
["BIFF!","BANG!","POW!"]
ghci> map (replicate 3) [3..6]
[[3,3,3],[4,4,4],[5,5,5],[6,6,6]]
ghci> map (map (^2)) [[1,2],[3,4,5,6],[7,8]]
[[1,4],[9,16,25,36],[49,64]]
ghci> map fst [(1,2),(3,5),(6,3),(2,6),(2,5)]
[1,3,6,2,2]

函数的组合

在数学中  函数组合是这样定义的 (f · g)(x) = f(g(x)),表示组合两个函数,并把gx的返回值作为fx的参数,haskell中定义函数组合的定义很像。

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

函数组合的用处之一就是生成新的函数,并传递给其他函数

$函数

$函数的作用就是把函数编程右结合的,函数默认是做结合.

Haskell复习笔记(二)的更多相关文章

  1. Haskell复习笔记(一)

    Haskell笔记这是第三次总结,前两次都因为各种原因丢失了,对于Haskell我算不上什么大神,只不过在大学时为了学习算法时选择了Haskell. 当时的入门书籍选择的是<Learn You ...

  2. Java复习笔记(二):数据类型以及逻辑结构

    一.数据类型 1.数据类型又分为基本数据类型和引用数据类型,而他们的区别在于,引用数据类型需要开辟内存空间来进行分配,什么意思呢?先来看看他们有哪些. 整数型:byte,short,int,long ...

  3. Java二次复习笔记(1)

    Java二次复习笔记(1) Java采用的默认字符编码集是Unicode. byte=byte+byte报错,值为int,而byte+=byte不报错.同样short = short+short报错, ...

  4. Java基础复习笔记系列 四 数组

    Java基础复习笔记系列之 数组 1.数组初步介绍? Java中的数组是引用类型,不可以直接分配在栈上.不同于C(在Java中,除了基础数据类型外,所有的类型都是引用类型.) Java中的数组在申明时 ...

  5. WPF的Binding学习笔记(二)

    原文: http://www.cnblogs.com/pasoraku/archive/2012/10/25/2738428.htmlWPF的Binding学习笔记(二) 上次学了点点Binding的 ...

  6. AJax 学习笔记二(onreadystatechange的作用)

    AJax 学习笔记二(onreadystatechange的作用) 当发送一个请求后,客户端无法确定什么时候会完成这个请求,所以需要用事件机制来捕获请求的状态XMLHttpRequest对象提供了on ...

  7. 数位DP复习笔记

    前言 复习笔记第五篇.(由于某些原因(见下),放到了第六篇后面更新)CSP-S RP++. luogu 的难度评级完全不对,所以换了顺序,换了别的题目.有点乱,见谅.要骂就骂洛谷吧,原因在T2处 由于 ...

  8. 纯JS实现KeyboardNav(学习笔记)二

    纯JS实现KeyboardNav(学习笔记)二 这篇博客只是自己的学习笔记,供日后复习所用,没有经过精心排版,也没有按逻辑编写 这篇主要是添加css,优化js编写逻辑和代码排版 GitHub项目源码 ...

  9. 《CMake实践》笔记二:INSTALL/CMAKE_INSTALL_PREFIX

    <CMake实践>笔记一:PROJECT/MESSAGE/ADD_EXECUTABLE <CMake实践>笔记二:INSTALL/CMAKE_INSTALL_PREFIX &l ...

随机推荐

  1. JavaScript递归

    什么是递归? 在函数的内部调用自己 下面有一个例子,通过这个例子,大家就可以了解什么是递归 function fun(){ console.log(new Date()) //获取当前时间,并在控制台 ...

  2. JVM服务进程挂掉问题定位查询思路

    昨天有朋友咨询了个RegionServer宕机找不到日志无法定位原因的问题,干脆就系统整理下JVM服务宕机的可能原因,方便按照思路去找真正的宕机原因. 1. abort()/halt()/exit() ...

  3. js 原生: 身份证脱敏、唯一随机字符串uuid、对于高 index 元素的隐藏与显示

    1. 对于高 index 元素的隐藏 与 显示 export const hideIndexEle = (cssStr)=>{ const player = getElementsByCss(c ...

  4. 批量引用iconfont字体图标到项目

    打开https://www.iconfont.cn/网址登录后选择你需要的图标添加到购物车中 点击下载代码或者添加到项目后再下载代码,再找到之前下载的的文件,拷贝到项目中

  5. MySQL语句技巧

    1.查询时间的格式: (1) 查询时将时间戳格式化 SELECT  FROM_UNIXTIME(eventtime)  FROM  table_name SELECT  FROM_UNIXTIME(e ...

  6. Winform 窗体获得焦点

    给窗体添加Shown事件 public void Form_Shown(object sender, EventArgs e) { this.Activate(); this.Focus(); //定 ...

  7. 【转】priority_queue优先队列

    转自:http://www.cppblog.com/shyli/archive/2007/04/06/21366.html http://www.cppblog.com/shyli/archive/2 ...

  8. python从入门到实践-9章类

    #!/user/bin/env python# -*- coding:utf-8 -*- # 类名采用的是驼峰命名法,即将类名中每个单词的首字母大写,而不使用下划线.# 对于每个类,都应紧跟在类定义后 ...

  9. 东软实习<3>

    今天学习过程和小节 主要对多线程,单例模式以及jdbc进行了一些深入着重的学习, 还有就是学习了如何使用java操作HDFS 主要是对于一些继承调用的使用等 1.封装JDBC,自定义范型 2.反射,自 ...

  10. [BlueZ] 1、Download install and use the BlueZ and hcitool on PI 3B+

    星期日, 02. 九月 2018 11:58下午 - beautifulzzzz 1. Introduction Bluez is the default Bluetooth protocol sta ...