我希望这是一个haskell大纲和重点，目的是如果我很长时间没使用过HASKELL，那么跟随这个我能够很快找回陌生的概念（我过去学习过haskell的体会)，随着学习进程，这篇内容可以继续下去，丰富，变成一个对所有人都有用的教程。
other reference:
------------------------------------
(http://www.haskell.org/wikiupload/b/b2/QuickReference.pdf)
(http://shuklan.com/haskell/lec01.html#/)//Introduction To Haskell;Lecture 1;An Unexpected Journey
(http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/)//Learn Haskell Fast and Hard
(http://cheatsheet.codeslower.com/CheatSheet.pdf)//
haskell 的程序结构：
------------------------------------
--save as first.hs
{-
compile as: ghc --make first.hs -O2 -o first
run as: first
-}
module Main where
main = putStrLn "my first"
模块：
------------------------------------
--use keyword
--import, module, qualified, as, hiding
import Data.List
import Data.List (sort)
import Data.List hiding (nub)
import qualified Data.Map --这样引用模块名，并带入名称限定，比如说可使用Data.Map.filter
import qualified Data.Map as M
module Geometry.Sphere
( volume
, area
) where
语法：
--------------------------------------
缩进:
(http://en.wikibooks.org/wiki/Haskell/Indentation)
原则一点就是如果是语法结构的一部分进行缩进，同级的语法结构对齐
缩进可用 {} 替代，同级的结构可用 ;分开，这样可将语法写进一行
tips.1:
把中缀变成前缀 (==) 3 3
把前缀变成中缀 3 `mod` 2
tips.2:
可以这样使用匹配 --arr@(x:xs) --p@(a, b)
类型
---------------------------------------
基础类型：
Bool, Int, String
复合类型:
data MyBool = MFalse | MTrue
--:t MTrue
--MyBool::MyBool
data MyMayBe a = MJust a | MNothing
--:t MJust
--MJust::a->MyMayBe
(注， 这里myMayBe 叫做type constructor, 它的kind叫做*->*)
data M1 a b = M1{f1::a, f2::b}
--:t f1
--f1 :: M1 a b -> a
newtype(http://www.haskell.org/haskellwiki/Newtype)
newtype 声明只有一个域(constructor or field)的data
newtype M1 a b = M1{f1::a, f2::b}
newtype State s a = State { runState :: s -> (s, a) }
type 和 newtype区别 (http://www.haskell.org/haskellwiki/Type#Type_and_newtype)
newtype apply a b = a->b
定义MyPair:
data MyPair a b = MyPair {first::a, second::b}
可以定义MList:
data Mlist a = Mconst a (Mlist a) | Mnil
or)
data Mlist a = Mcons (MyPair a (Mlist a) ) | Mnil
可以定义MTuple
data MT a b c = MT {fa::a, fb::b, fc::c}
typeclass:
常用的typeclass 有 Read, Show, Eq, Ord, Fuctor, Monad...
instance Show (MyBool) where
show MTrue = "MTrue"
show MFalse = "MFalse"
instance Eq (MyBool) where
(==) MTrue MTrue = True
(==) MFalse MFalse = True
(==) _ _ = False
一些重要的typeclass
-----------------------------------
typeclass 可以继承
class (Eq a) => Ord a where
(<), (<=), (>=), (>) :: a -> a -> Bool
max, min :: a -> a -> a
不是所有接口都需要实现
"Each type class defines a certain set of methods which need to be implemented; Eq requires == or /=, and Ord requires <= or compare."
(http://stackoverflow.com/questions/3065954/defining-your-own-ord-for-a-data-type-haskell)
理解 Ord
class (Eq a)=>(Ord a) where
(<=)::a->a->Bool
instance Ord (MyBool) where
(<=) MTrue MFalse = False
(<=) _ _ = True
理解functor:
class Functor functor where
fmap::(a->b)->(functor a)->(functor b)
理解applicative:
class (Functor app)=>Applicative app where:
pure::a->(app a)
<*> :: (app (a->b))->(app a)->(app b)
($) ::(a->b)->(app a)->(app b)
:t :q :m :load
ghci xxx.hs
可以换行:
:{--后起一行
xxxxx
:}
因为每个 action 都是一个IO a 所以，可以使用do notation
例：
let f=xxx; let b=xxx; return f b
a<-getLine
-----------------------------------