Haskell

Ressources: www.haskell.org

 

 

一.Varible and Function

1.在.hs文件里定义变量，先:cd进.hs文件所在文件夹，然后load .hs文件

Prelude> :cd c:/myDirectory Prelude> :load Varfun.hs Compiling Main ( Varfun.hs, interpreted ) Ok, modules loaded: Main. *Main>

 

 2.使用let 定义变量很不方便

Prelude> let area = pi * 5 ^ 2

 

3.两种注释

-- 一种注释形式 {- 另一种注释形式 -}

 

4.变量不vary,immutable，较imperative language such as C很不一样

r = 5 r = 2 --错误 r重复定义 s = 0 s = s + 1 --错误 s重复定义 --代码顺序不影响结果，一下两组代码完全等价 y = x * 2 x = 3 x = 3 y = x * 2

 

5.定义函数如同定义变量

area r = pi * r^2 *Main> area 5 -- 不需要括号包裹参数 78.53981633974483 *Main> area 3 28.274333882308138 *Main> area 17 907.9202768874502 area (5+3) --括号包裹意味着与area 5 + 3区分

 

6.函数定义里使用已有函数

areaRect l w = l * w areaSquare s = areaRect s s *Main> areaSquare 5 25

 

7.函数里的临时变量 where是关键词

areaTriangleTrig a b c = c * height / 2 -- use trigonometry where --开头缩进严格4个空格 cosa = (b^2 + c^2 - a^2) / (2*b*c) sina = sqrt (1 - cosa^2) height = b*sina

 

二. 布尔值

1.bool值 True与False

Prelude> 2+3>1 True Prelude> 2*4>10 False Prelude> 2==True --2不等于True <interactive>:1:1: No instance for (Num Bool) arising from the literal `2' Possible fix: add an instance declaration for (Num Bool) In the first argument of `(==)', namely `2' In the expression: 2 == True In an equation for `it': it = 2 == True Prelude> True==True True Prelude>

 

2.infix操作符 非字母数字的操作符可以为infix操作符：==,<,>,<=...Prelude> 3>=2 True Prelude> (>=) 3 2 --括号>=周围的括号是必须的 True

 

3.Guard

myAbs x | x < 0 = 0 - x | otherwise = x --otherwise实际上等于True *Main> myAbs (-8) --负数括号不可缺少 8 *Main> myAbs 8 8

 

 Guard 与 where连用

numOfSolutions a b c | disc > 0 = 2 | disc == 0 = 1 | otherwise = 0 where disc = b^2 - 4*a*c *Main> numOfSolutions 1 2 3 0 *Main> numOfSolutions 1 8 3 2 *Main> numOfSolutions 1 4 4 1

 

三.Types

1.使用:type(:t)获取变量的类型，当遇到新函数时，使用:t看看函数输入输出类型是好习惯

-- 以下是变量类型 Prelude> :t 'a' 'a' :: Char Prelude> :t "Hello World!" "Hello World!" :: [Char] Prelude> :t True True :: Bool -- 以下是函数类型 输入变量类型 -> 输出变量类型 Prelude> :t not not :: Bool -> Bool Prelude Data.Char> :t chr chr :: Int -> Char Prelude> let f x y = x + y Prelude> :t f f :: Num a => a -> a -> a --最后一个是输出变量类型，前面依次是输入变量类型  

 

2. 写函数时，先些type signature是好习惯，虽然不写的时候interpretor会用type inference机理帮你推断输入输出变量是什么类型

isL :: Char -> Bool -- type signature in function isL c = c=='l'

 

3.总结：Haskell的强type的好处就是减少了许多run-time errors，一般情况下只要compiled successfully,那么run就bug-free.