Prelude> :type map
map :: (a -> b) -> [a] -> [b]
- -> 右结合 所以 (a -> b) -> [a] -> [b] == ((a -> b) ->( [a] -> [b]))
- (a->b) 输入为a类型,返回b类型的函数A;
- ( [a] -> [b])) 输入为[a]类型,返回[b]类型的函数B;
- ((a -> b) ->( [a] -> [b])) 输入为函数A,返回为函数B
- 至此map就是一个输入为函数A,返回为函数B的函数.
实例: map (\(x) -> x*2) [1,2] == (map (\(x) -> x*2)) [1,2] 加上函数的currying上面的就好理解了.
oop容易跌入状态同步的泥潭,fp容易跌入函数传来传去的泥潭
Char -> 'a'
String -> "aaaa" === ['a','a','a','a'] / [Char]
list -> [] 不固定长度,同类型.
Tuple -> ("asdf",1,2,4) 初始化好后不可改变.
函数调用左集合 a b c d = (((a b) c) d)
x = 10
x = 11 can't 不能两次给变量赋值 除了类型推导,怎么越看越像erlang,
:type take
take::Int -> [a] -> [a] === take:Int -> ([a]->[a])
currying
take 3 [1,2,4,5] 看似多参数,其实是:((take 3) [1,2,,4,5]) = [1,2,4]
Defining a New Data Type
haskell 原生的也就是list,tuple (erlang也一样).但是haskell可自己定义data type.erlang只能用装成record的tuple.
haskell玩来玩去骨子里也是tuple,但是他封装的好,有类型,有模有样.比erlang强太多.
-------foldl,foldr--------
foldl (+) 0 (1:2:3:[])
== foldl (+) (0 + 1) (2:3:[])
== foldl (+) ((0 + 1) + 2) (3:[])
== foldl (+) (((0 + 1) + 2) + 3) []
== (((0 + 1) + 2) + 3)
foldr (+) 0 (1:2:3:[])
== 1 + foldr (+) 0 (2:3:[])
== 1 + (2 + foldr (+) 0 (3:[])
== 1 + (2 + (3 + foldr (+) 0 []))
== 1 + (2 + (3 + 0))
引用
foldl顾名思义从左边,向右卷起来. step zero x
foldr顾名思义从右边,向左卷起来. step x zero
zero位置和方向一致.
In fact, we can even write foldl using foldr!
----------4.6章节
:type dropWhile
dropWhile :: (a -> Bool) -> [a] -> [a]
haskell的function都是单参数.类型标注是右结合.所以如下:
a -> Bool) -> [a] -> [a] = ((a -> Bool) -> ([a] -> [a]))
意思是:接收一个函数(a -> Bool) ,返回一个函数 [a] -> [a]
xs@(_:xs') = "hello" --------- xs等于hello,xs'等于ello
like erlang (X=[_|T])="hello"
分享到:
相关推荐
real world haskell english version
real-world-haskell-cn:《 Real World Haskell》中文翻译项目
Real World Haskell,Real World Haskell
http://book.realworldhaskell.org/ 在线文档的PDF版本,转制日期为20150301。
haskell-mode emacs haskell-mode emacs
Atom-haskell-ghc-mod.zip,haskell-ghc-mod atom packagehaskell ghc mod atom包,atom是一个用web技术构建的开源文本编辑器。
Atom-ide-haskell-hoogle.zip,在光标下显示符号的滚动信息艾德·哈斯克尔·胡格尔,atom是一个用web技术构建的开源文本编辑器。
Haskell-Data-Analysis-Cookbook, Haskell数据分析 cookbook的附带源代码 Haskell-Data-Analysis-Cookbook这是 Haskell数据分析 cookbook的附带源代码。最新的源代码可以在GitHub上获得: ...
Programming-in-Haskell-2nd-Edition.pdf
从1.0.0开始,haskell-ghc-mod提供haskell-completion-backend服务。 注意:在1.0.0之前,提供了ide-backend服务。 它已被废弃以支持ide-haskell的UPI。 您可以在找到描述 执照 版权所有:copyright:2015 Atom-...
haskell-ghc-mod原子包 该软件包主要用作后端。 Haskell ghc-mod打开通往ghc-modi的管道,并查询类型,信息并检查错误。 安装与配置 请参考官方文档站点 服务中心API 从1.0.0版本开始,haskell-ghc-mod提供...
Get Programming with HASKELL-2018-英文版
本文档是 Real World Haskell 一书的简体中文翻译版本
第一章:入门第二章:类型和函数第三章:Defining Types, Streamlining Functions第四章:函数式编程第五章:编写 JSON 库第
用于 haskell-relational-record 的 MySQL 驱动程序 这个项目被合并到 。 准备 $ git clone git@github.com:khibino/haskell-relational-record.git $ git clone git@github.com:bos/hdbc-mysql.git $ git clone ...
HASKELL编程的进级书,介绍的很详细,但是可能前面的比较跳,可以先看programming in haskell之类的入门书再看这个
演示医疗用例的参考DAML应用程序 -Haskell-TypeScript-下载
haskell-chart, haskell的2D 图表库 图 haskell的2D 图表库进一步的信息可以在关联的 wiki中找到。
Server Metaprogramming Ruby-Pyton-Groovy-Haskell-Erlang.pdf