一句话阐述Haskell基本概念---个人翻译
来源:互联网 发布:互联网中文域名 编辑:程序博客网 时间:2024/05/22 18:28
一句话阐述Haskell 概念
简介
在许多年拖拖拉拉并且在一些伙伴的帮助下我学习了Haskell。许多Haskell概念使人气馁,所以我决定写一句话简要概括这些概念。这些无论如何不能算得上是完整但是对于get关键点很有用。这些东西从 hemanth/functional-programming-jargon和Standardized Ladder of Functional Programming.获得了启发。
概念
monad:单孢子,由三个函数构成,并且将控制流编码,使得纯函数更加紧密。
monad:是一种类型,为结合数据而生单操作符。
Free monad:允许函子的装换到monads。
recursive function:递归函数。
monad transformer:monad变形器,使得你能在一个函数中使用多于一个的monad。
Lift:是个使用fmap的在函子上的操作,其能操作包含在函子里的数据。
Optics(lens and prisms):光学透镜,允许你在数据类型中查和改。
Currying:柯里使用局部应用,为了返回一个函数直到所有参数都使用了。
Map:map请求了一个函数,对一个列表中所有元素进行操作。
predicate:是个函数,返回True或是False。
Filter:过滤,申请了一个predicate应用到一个列表上,使之只返回值是True的元素。
pure function:纯函数,对于同样的输入总是返回同样的输出。
lambda:一个lambda是一个未命名函数。
Lazy evaluation:惰性计算,直到你的程序确确实实使用时才执行表达式。
Fold:折叠,在列表元素之间申请一个函数。
Morphism:同态,映射,是个从一个对象到另一个对象的转化。
category:范畴,是一个对象、映射或是映射配置的集合。
Types:类型,是每个Haskell表达式内在的东西。
Type classes:类型类,类似于面向对象的接口。
Algebraic data types:算术数据类型,是一种描述类型结构的方法。
Parametric polymorphism:参数多型,允许一般类型变量。在函数的类型标志的类型中。
fmap可以从context里提取出value,计算,再将计算出的值放回context。
functors:函子是对象,可以被fmap操作的对象。
- 一句话阐述Haskell基本概念---个人翻译
- 实例阐述MapReduce中的基本概念
- I2S信号个人理解阐述
- 搜索学习基础--基本概念的简单阐述
- [python-chinese] Python vs Haskell (翻译)
- 个人最不喜欢的一句话!
- indexedDB 基本概念(翻译)
- Haskell
- Haskell
- 个人翻译文集目录
- Boost.Interprocess翻译-一些基本概念
- linux一个翻译个人网站
- UiObject官方文档,个人翻译
- BigTable论文阅读-个人翻译
- 一句话
- 一句话
- 一句话
- 一句话
- 反射
- 老毛桃一键还原软件超强发布
- u3d The referenced script on this Behaviour is missing
- css中position属性(absolute|relative|static|fixed)详解
- Win7不激活会怎么样 Win7可以不用激活吗
- 一句话阐述Haskell基本概念---个人翻译
- php运算符
- 《Unix环境高级编程》读书笔记:文件和目录
- Cubieboard Linux 搭建VNC(验证过 xfce4 桌面)
- vb调用c++ dll
- CHROME开发者工具的小技巧
- 内部排序—直接插入排序
- 关于恒温加热器的开发问题汇总
- 页面加载被延迟 Firefox将禁用对DV和OV证书的OCSP检查