haskell
lcccyb
这个作者很懒,什么都没留下…
展开
-
Haskell笔记(6)
有副作用的函数类型 IO a,其元素是完成一些动作,然后返回一个类型a的值的程序.–putStr :: String -> IO() –() :: () –putChar :: Char _> IO() –getLine :: IO String –getChar :: IO Char–p >> q,表示先做p,再做q–显示“hello”再显示“there!” p1 :: IO() p原创 2016-11-16 20:29:26 · 393 阅读 · 0 评论 -
Haskell笔记(5)
–Eq, Ord, Show, Read, Num–Data Bool = True | False –表示自然数思路:1,0是自然数 2.如果n是自然数,则n+1是自然数data Nat = Zero | Sue Nat –deriving Showinstance Show Nat where show n = show (nat2Int n)nat2Int ::原创 2016-11-09 20:26:27 · 284 阅读 · 0 评论 -
Haskell笔记(4)
iterate f x == [x, f x , f (f x), ….]element :: Int -> [Int] -> Bool element x [] = False element x (y : ys) | x == y = True |otherwise = element x ys 上式中的Int可以替换成Integer, Float等。– 定义一般的原创 2016-11-02 20:33:55 · 670 阅读 · 0 评论 -
haskell笔记(3)
f :: Int -> Int f x = 2*x + 1 <==> lambda x . (2x + 1) <==> \x -> (2*x + 1) (x是输入,.后面是输出)f = \x -> (2*x + 1)(箭头后面的是f x,是输出)filter isEven [1..n] <==> filter (\x -> (mod x 2 == 0)[1..n] <==> [ x | x <-原创 2016-10-26 20:23:10 · 238 阅读 · 0 评论 -
haskell笔记(2)
–module Picture where–或module Picture { Picture, above, sideByside, filpV, filpH, pic1,pic2, printPic } wherefoo :: Int -> Int foo x = x ^mod ^2–[foo x | x <- [2,3,2,4,3原创 2016-10-19 20:28:32 · 292 阅读 · 0 评论 -
haskell笔记(1)
myElem :: Int-> [Int] -> Bool myElem x [] = False myElem x (y : ys) |x==y = True |otherwise = myElem x ysmyElem :: Eq a => a -> [a] -> Bool –overloaded myElem x [] = FalsemyElem x (y : ys)原创 2016-10-12 20:26:31 · 378 阅读 · 0 评论