参考:http://www.cse.unsw.edu.au/~en1000/haskell/inbuilt.html

http://www.cse.unsw.edu.au/~en1000/haskell/hof.html

在GHCi中,可以使用:type来查看对象的类型,与http://www.cnblogs.com/long123king/p/3837686.html中说到的一样,

Haskell中,函数也是一种特殊的对象,对象就有类型,函数作为一种对象,可以作为参数传递,也可以赋值,创建和销毁。

Prelude> :type (+)
(+) :: Num a => a -> a -> a

  

这个类似要怎么解释呢,"::"的前面是函数的名称,后面是函数对象的类型,或者说原型。

"=>"前面的Num a是表明参数的类型,

Prelude> :type 1
1 :: Num a => a

后面是函数的输入与输出类型声明。

之所以会有多个->,那是因为(+)函数对象中其实包含一个更加简单的函数,比如(+) 2,这个函数的意思是“在使用(+)函数对象时,将第一个参数固定为2,这与boost中的bind类似”,而这个函数对象的类型是Num a => a->a,

再把另外一个参数传递给这个简单的函数,得到的结果也是a类型,因此(+)是一个复合函数。

凡是需要多个参数的函数对象,都可以分解成一步一步的简单函数组成的复合函数。

Prelude> (+) 2

<interactive>:35:1:
No instance for (Num a0) arising from a use of `+'
The type variable `a0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there are several potential instances:
instance Num Double -- Defined in `GHC.Float'
instance Num Float -- Defined in `GHC.Float'
instance Integral a => Num (GHC.Real.Ratio a)
-- Defined in `GHC.Real'
...plus three others
In the expression: (+) 2
In an equation for `it': it = (+) 2 <interactive>:35:1:
No instance for (Show (a0 -> a0)) arising from a use of `print'
Possible fix: add an instance declaration for (Show (a0 -> a0))
In a stmt of an interactive GHCi command: print it
Prelude> :type (+) 2
(+) 2 :: Num a => a -> a

  

特殊符号需要显式地用括号来表明这是个函数对象,

对于普通的函数对象,也可以使用括号来表明其函数对象的身份。

Prelude> :type +

<interactive>:1:1: parse error on input `+'
Prelude> :type (+)
(+) :: Num a => a -> a -> a
Prelude> :type names
names :: [Char]
Prelude> :type head
head :: [a] -> a
Prelude> :type (head)
(head) :: [a] -> a

再来看一个更加复杂的函数对象

Prelude> :type map
map :: (a -> b) -> [a] -> [b]

  

这个函数对象包含了两个简单函数对象, (a -> b)是一个函数,可以将类型a的对象转换成类型b的对象;

(a -> b) -> [a],是另外一个函数,它的意思是“在执行整体函数对象时,将第一个参数固定为[a]”。

这种将复合函数对象(包含了多个参数的函数对象)分解成几个简单函数对象的思想,是为了支持“函数作为一种对象”的这种设计理念,

这样就可以将上面分解出的简单的函数作为参数,传递给复合函数对象。

比如

Prelude> let nums = [1..100]
Prelude> map ((*) 2) nums
[2,4,6,8,10,12,14,16,18,20,22,24,26,28,30,32,34,36,38,40,42,44,46,48,50,52,54,56,58,60,62,64,66,68,70,72,74,76,78,80,82,84,86,88,90,92,94,96,98,100,102,104,106,108,110,112,114,116,118,120,122,124,126,128,130,132,134,136,138,140,142,144,146,148,150,152,154,156,158,160,162,164,166,168,170,172,174,176,178,180,182,184,186,188,190,192,194,196,198,200]

  

  

虽然,像(+) 2这样的函数对象在多数时候,看起来并不是一个常见的用法。

怎样在Prelude中得到当前运行环境的信息

Prelude> :help
Commands available from the prompt: <statement> evaluate/run <statement>
: repeat last command
:{\n ..lines.. \n:}\n multiline command
:add [*]<module> ... add module(s) to the current target set
:browse[!] [[*]<mod>] display the names defined by module <mod>
(!: more details; *: all top-level names)
:cd <dir> change directory to <dir>
:cmd <expr> run the commands returned by <expr>::IO String
:ctags[!] [<file>] create tags file for Vi (default: "tags")
(!: use regex instead of line number)
:def <cmd> <expr> define command :<cmd> (later defined command has
precedence, ::<cmd> is always a builtin command)
:edit <file> edit file
:edit edit last module
:etags [<file>] create tags file for Emacs (default: "TAGS")
:help, :? display this list of commands
:info [<name> ...] display information about the given names
:issafe [<mod>] display safe haskell information of module <mod>
:kind <type> show the kind of <type>
:load [*]<module> ... load module(s) and their dependents
:main [<arguments> ...] run the main function with the given arguments
:module [+/-] [*]<mod> ... set the context for expression evaluation
:quit exit GHCi
:reload reload the current module set
:run function [<arguments> ...] run the function with the given arguments
:script <filename> run the script <filename>
:type <expr> show the type of <expr>
:undef <cmd> undefine user-defined command :<cmd>
:!<command> run the shell command <command> -- Commands for debugging: :abandon at a breakpoint, abandon current computation
:back go back in the history (after :trace)
:break [<mod>] <l> [<col>] set a breakpoint at the specified location
:break <name> set a breakpoint on the specified function
:continue resume after a breakpoint
:delete <number> delete the specified breakpoint
:delete * delete all breakpoints
:force <expr> print <expr>, forcing unevaluated parts
:forward go forward in the history (after :back)
:history [<n>] after :trace, show the execution history
:list show the source code around current breakpoint
:list identifier show the source code for <identifier>
:list [<module>] <line> show the source code around line number <line>
:print [<name> ...] prints a value without forcing its computation
:sprint [<name> ...] simplifed version of :print
:step single-step after stopping at a breakpoint
:step <expr> single-step into <expr>
:steplocal single-step within the current top-level binding
:stepmodule single-step restricted to the current module
:trace trace after stopping at a breakpoint
:trace <expr> evaluate <expr> with tracing on (see :history) -- Commands for changing settings: :set <option> ... set options
:seti <option> ... set options for interactive evaluation only
:set args <arg> ... set the arguments returned by System.getArgs
:set prog <progname> set the value returned by System.getProgName
:set prompt <prompt> set the prompt used in GHCi
:set editor <cmd> set the command used for :edit
:set stop [<n>] <cmd> set the command to run when a breakpoint is hit
:unset <option> ... unset options Options for ':set' and ':unset': +m allow multiline commands
+r revert top-level expressions after each evaluation
+s print timing/memory stats after each evaluation
+t print type after evaluation
-<flags> most GHC command line flags can also be set here
(eg. -v2, -fglasgow-exts, etc.)
for GHCi-specific flags, see User's Guide,
Flag reference, Interactive-mode options -- Commands for displaying information: :show bindings show the current bindings made at the prompt
:show breaks show the active breakpoints
:show context show the breakpoint context
:show imports show the current imports
:show modules show the currently loaded modules
:show packages show the currently active package flags
:show language show the currently active language flags
:show <setting> show value of <setting>, which is one of
[args, prog, prompt, editor, stop]
:showi language show language flags for interactive evaluation

  

Prelude> :show modules
Prelude> :show context Prelude> :show bindings
names :: [Char] = "Daniel King"
nums :: [Integer] = 1 : 2 : 3 : 4 : 5 : ....
it :: [Integer] = 2 : 4 : 6 : 8 : 10 : ....
Prelude> :show imports
import Prelude -- implicit
Prelude> :show packages
active package flags: none
Prelude> :show languages
base language is: Haskell2010
with the following modifiers:
-XNoDatatypeContexts
-XNondecreasingIndentation

  

Prelude> foldl ((+)) 0 [1..100]
5050

  

Prelude> :type map
map :: (a -> b) -> [a] -> [b]
Prelude> :type filter
filter :: (a -> Bool) -> [a] -> [a]
Prelude> :type foldr
foldr :: (a -> b -> b) -> b -> [a] -> b
Prelude> :type foldl
foldl :: (a -> b -> a) -> a -> [b] -> a

  

  

Prelude> filter ((>) 50) nums
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49]

  

Prelude> :type foldr
foldr :: (a -> b -> b) -> b -> [a] -> b
Prelude> foldr (:) "King" ['D','a','n','i','e','l', ' ']
"Daniel King"

  

但是用foldl就不行。

使用子模块功能

Prelude> map Data.Char.isDigit ((++) ['0'..'9'] ['a'..'z'])
[True,True,True,True,True,True,True,True,True,True,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False]
Prelude> map Data.Char.isDigit (concat [['0'..'9'],['a'..'z']])
[True,True,True,True,True,True,True,True,True,True,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False,False]

  

另外,(++) 与concat的功能不相同,它们的原型也不相同,因此在使用一个函数之前,一定要明确这个函数的原型。

GHCi Prelude学习的更多相关文章

  1. 「Haskell 学习」二 类型和函数(上)

    随着学习的深入,笔记会补充和修订.当然,这个补充修订也许会鸽,但我一定会坚持写完. 这个笔记假定你至少学过C/C++及Python,或与这两种语言类型相同的语言. 类型系统概述 “Haskell’s ...

  2. Haskell语言学习笔记(47)Arrow(2)

    Function, Monad, Arrow f :: Int -> (Int, Int) f = \x -> let y = 2 * x z1 = y + 3 z2 = y - 5 in ...

  3. JTSL/EL Expression学习

    最早的一个学习笔记,时间过去了久了,供java web初学者参考. JTSL/EL Expression学习安排 学习目标:掌握几个常见标签的使用,通晓工作原理,详细到代码层面,遇到问题时能查得出异常 ...

  4. Haskell ghci中调用pandoc的API进行markdown转换

    所用环境:Windows Server 2008 + ghc 7.6.3(Haskell Platform 2013.2.0.0自带的) + pandoc 1.12.4 操作步骤: 1. 安装Hask ...

  5. 「Haskell 学习」一 环境与大致了解

    感谢<Real World Haskell>在网上的免费发布,可以白嫖学Haskell这个久闻大名的函数式编程语言了. 本文运行于openSUSE Tumbleweed下,运行相关命令时留 ...

  6. Emacs 学习之旅

    **Emacs 的使用过程,就像是程序员的生涯一样--路漫漫其修远兮,吾将上下而求索.** ## 万物始于 Emacs 最早知道 _Emacs_ 是从编辑器的圣战开始的,即编辑器之神--Vi,和神的编 ...

  7. 从直播编程到直播教育:LiveEdu.tv开启多元化的在线学习直播时代

    2015年9月,一个叫Livecoding.tv的网站在互联网上引起了编程界的注意.缘于Pingwest品玩的一位编辑在上网时无意中发现了这个网站,并写了一篇文章<一个比直播睡觉更奇怪的网站:直 ...

  8. Angular2学习笔记(1)

    Angular2学习笔记(1) 1. 写在前面 之前基于Electron写过一个Markdown编辑器.就其功能而言,主要功能已经实现,一些小的不影响使用的功能由于时间关系还没有完成:但就代码而言,之 ...

  9. ABP入门系列(1)——学习Abp框架之实操演练

    作为.Net工地搬砖长工一名,一直致力于挖坑(Bug)填坑(Debug),但技术却不见长进.也曾热情于新技术的学习,憧憬过成为技术大拿.从前端到后端,从bootstrap到javascript,从py ...

随机推荐

  1. TypeError: reduction operation 'argmin' not allowed for this dtype

    解决方法:在idxmax()前加.astype(‘float64’) .argmin() .argmax() 计算最大.小值所在位置的索引(针对自动索引的)(适用于Series类型:) .idxmin ...

  2. node进程一些信号的意义

    1.SIGINT这个信号是系统默认信号,代表信号中断,就是ctrl+c: 2.SIGQUIT 3.SIGTERM 4.exit

  3. SVN合并主干分支的方法

    第一步 第二步 第三步 第四步

  4. Day7-----Python的序列类(有子类:元组类,列表类)

    序列类型 1.基本介绍: 序列类型是一种基类类型  ,既然被称为那就肯定是有道理的,关于序列 它有  正向  和  反向  两种序号,正向序号从零开始,反向序号从负一开始 a = '例如这个字符串' ...

  5. 双指针---有序数组的TWO SUM

      双指针思想,主要用于遍历数组,两个指针指向不同的元素,从而协同完成任务. 有序数组的 Two Sum Leetcode :167. Two Sum II - Input array is sort ...

  6. 77.LRU Cache(最近最久未使用算法)

    Level:   Hard 题目描述: Design and implement a data structure for Least Recently Used (LRU) cache. It sh ...

  7. IEnumerable和IEnumerator 详解 分类: C# 2014-12-05 11:47 18人阅读 评论(0) 收藏

    原:<div class="article_title"> <span class="ico ico_type_Original">&l ...

  8. npm安装教程[转载的,版权归原作者]

    详情在里面:https://www.cnblogs.com/lgx5/p/10732016.html 详情二:https://www.cnblogs.com/lolDragon/p/6268345.h ...

  9. Linux就该这么学08学习笔记

    参考链接:https://www.linuxprobe.com/chapter-08.html 防火墙管理工具 众所周知,相较于企业内网,外部的公网环境更加恶劣,罪恶丛生.在公网与企业内网之间充当保护 ...

  10. 后缀自动机(SAM) 学习笔记

    最近学了SAM已经SAM的比较简单的应用,SAM确实不好理解呀,记录一下. 这里提一下后缀自动机比较重要的性质: 1,SAM的点数和边数都是O(n)级别的,但是空间开两倍. 2,SAM每个结点代表一个 ...