• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            算法學社
            記錄難忘的征途
            posts - 141,comments - 220,trackbacks - 0

            Haskell's Type System

                Haskell的數據類型有三個特點:
                1. 強類型
                2. 靜態類型
                3. 可自動推斷
                額,我按照自己的理解解釋一下吧...
                強類型不支持自動類型轉換,為了讓代碼可靠一些...
                靜態類型是每個表達式或者變量的類型都是靜態不變的...
                Haskell可以自動檢測表達式中常數的數據類型...

            common basic types

               char: Unicode字符
               bool:True & False
               Int : 在32位機器上是32位,在64位機器上是64位
               Integer: 高精度整形
               Double:64位浮點型

            Function Application

            一些函數需要注意的地方,就是如果你要把一個函數的值傳到另一個函數里,需要加一個括號以改變優先級
             1 ghci>odd 3
             2 True
             3 ghci>even 6
             4 True
             5 ghci>compare (sqrt 2) 1
             6 GT
             7 ghci>compare (sqrt 2) 1 == GT
             8 True
             9 ghci>compare sqrt 2 1 == GT
            10 
            11 <interactive>:16:1:
            12     The function `compare' is applied to three arguments,
            13     but its type `a0 -> a0 -> Ordering' has only two
            14     In the first argument of `(==)', namely `compare sqrt 2 1'
            15     In the expression: compare sqrt 2 1 == GT
            16     In an equation for `it': it = compare sqrt 2 1 == GT

            Composite Data Types: Lists and Tuples

            字符串就是一個字符列表,head 函數可以返回列表的第一個元素,tail可以返回列表的除了第一個元素的所有元素。
            1 ghci>head "figo"
            2 'f'
            3 ghci>tail "figo"
            4 "igo"
            5 ghci>tail [1,2,3]
            6 [2,3]

            還有另一種類型叫做“元組”。類似于C++的pair,連用法都極其相似。

            ghci>snd (19910905,"hanfei")
            "hanfei"
            ghci>fst (19910905,"hanfei")
            19910905

            Function Types and Purity

            :type 命令可以查看一個函數傳入的參數類型和返回的參數類型
            Haskell的函數只允許調用傳入的參數,禁止使用全局變量。 這樣的函數叫做“純函數”。(略感坑爹)
            1 ghci>:type lines
            2 lines :: String -> [String]
            3 ghci>lines "figo\nis\nstupid\nhahaha"
            4 ["figo","is","stupid","hahaha"]

            Haskell Soucre Files, and Writing Simple Functions

            Haskell源文件的后綴是.hs,這樣的話vim就會有語法高亮了...
            定義一個函數
            1 -- add.hs by figo 05.16.2012
            2 add a b = a + b
            我們可以用:load add.hs來加載這個函數
            1 ghci>:load add.hs
            2 [1 of 1] Compiling Main             ( add.hs, interpreted )
            3 Ok, modules loaded: Main.
            4 ghci>:type add
            5 add :: Num a => a -> a -> a
            6 ghci>add 1 2
            7 3

            Conditional Evaluation

            利用if來寫一個drop函數:
            1 -- myDrop.hs by figo 05.16.2012
            2 myDrop n xs = if n <= 0 || null xs
            3             then xs
            4             else myDrop (n-1)(tail xs)
            里面的類型都是自動檢測的... 額... 不用像C++那樣提前聲明
            測試一下剛寫的東東
            1 ghci>:load myDrop.hs 
            2 [1 of 1] Compiling Main             ( myDrop.hs, interpreted )
            3 Ok, modules loaded: Main.
            4 ghci>myDrop 2 "figo"
            5 "go"
            6 ghci>myDrop 1 ["hanfei","figo","hello"]
            7 ["figo","hello"]

            Polymorphism in Haskell

            Haskell的多態性指的是,如果一個函數可以把某參數當做任意類型處理。就像C++的template一樣。
            ghci>:type fst
            fst :: (a, b) -> a

            Exercises


            寫一個函數,功能是返回元素的倒數第二個值。
            呃... 只能寫成這樣子了... 好渣... 求大神指點
            1 -- lastButOne.hs by figo 05.16.2012
            2 lastButOne xs = if(length (xs) <= 2)
            3                 then head xs
            4                 else lastButOne (tail xs)
            5 
            posted on 2012-05-16 19:59 西月弦 閱讀(1647) 評論(3)  編輯 收藏 引用 所屬分類: 讀書筆記(Haskell)

            FeedBack:
            # re: Real World Haskell 讀書筆記(二) Types and Functions
            2012-05-16 23:45 | OwnWaterloo
            lastButOne xs = case xs of { [] -> Nothing ; y:[] -> Nothing ; x:y:[] -> Just x ; x:xs -> lastButOne xs}

            或者:
            lastButOne [] = Nothing
            lastButOne y:[] = Nothing
            lastButOne x:y:[] = Just x
            lastButOne x:xs = lastButOne xs


            《real world haskell》不怎么講語言的……  回復  更多評論
              
            # re: Real World Haskell 讀書筆記(二) Types and Functions
            2012-05-17 21:39 | 西月弦
            @OwnWaterloo
            多謝指教... 有沒有什么比較好關于Haskell或者函數式編程的書籍推薦一下?
            我是超級新手阿....  回復  更多評論
              
            # re: Real World Haskell 讀書筆記(二) Types and Functions
            2012-05-19 11:31 | OwnWaterloo
            @西月弦
            Haskell我也是新手,感覺收獲最大的是 http://learnyouahaskell.com/
            其次是 http://www.haskell.org/tutorial/ 內容不多,但信息量很大……
            real world haskell對語言的介紹根本不夠看懂它里面提供的代碼……

            函數式編程沒專門看過什么數據……

            PS:cppblog的通知郵件被gmail當作垃圾了……
              回復  更多評論
              
            天天躁日日躁狠狠久久| 精品久久久久久国产| 国产精品久久久久影院色| 国产精品久久久久久福利69堂| 精品一区二区久久| 色婷婷久久久SWAG精品| 精品久久亚洲中文无码| 99国产欧美精品久久久蜜芽| 国产免费久久精品丫丫| 国产亚洲精久久久久久无码77777| 亚洲AV无码久久| 久久精品人妻一区二区三区| 思思久久好好热精品国产| 无码AV波多野结衣久久| 国产高清国内精品福利99久久| 无码人妻少妇久久中文字幕| 国产产无码乱码精品久久鸭| 亚洲精品高清一二区久久| 久久青草国产手机看片福利盒子| 亚洲va久久久久| 久久久久99精品成人片牛牛影视| 五月丁香综合激情六月久久| 久久九九久精品国产| 国产国产成人久久精品| 久久国产免费| 国产成人精品久久综合| 婷婷国产天堂久久综合五月| 久久久女人与动物群交毛片| 伊人丁香狠狠色综合久久| 久久久久久国产精品美女| 久久精品无码一区二区app| 精品久久久久久国产91| 91精品国产综合久久久久久| 色综合久久中文字幕无码| 蜜桃麻豆WWW久久囤产精品| 午夜精品久久久久久久无码| 国产亚洲成人久久| 热久久国产欧美一区二区精品| 亚州日韩精品专区久久久| 国产精品久久久久免费a∨| 久久久久久免费视频|