自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(10)
  • 收藏
  • 关注

原创 Haskell 7

import System.Random–random :: StdGen -> (a,StdGen) – 随机种子 下一个随机种子–配上函数mkStdGen : Int -> StdGen –random(mkStdGen 1) ,random(mkStdGen 2)–写一个得到随机数的函数 –函数getStdGen :: IO StdGen–猜数 import

2016-11-23 20:09:59 355

原创 Haskell6

–有副作用的函数类型 IO a ,它完成一些动作然后返回一个类型为a的值–putStr :: String -> IO () –putChar :: Char -> IO () –getLine :: IO String –返回值是输入的String –getChar :: IO Char—p>>q , 先完成p , 再完成q–分显示两个字符串

2016-11-16 20:02:01 245

原创 Haskell 5

定义一个自然数类型 思路: –0是自然数 –if n 是自然数,n+1是自然数 data Nat = Zero | Suc Nat deriving Show —Suc 是后继的意思nat2Int :: Nat -> Int —Nat类型转换成Int类型 nat

2016-11-09 19:53:08 742 1

原创 Haskell 4

自定义一年四季 data Bool = True | Falsedata Season = Spring | Summer | Fall | Winter (自定义类型)instance Show Season where (为了能够show ) show Spring = “Spring” show Summer = “Summer” show Fall = “Fall”

2016-11-02 20:32:55 405

原创 Haskell3

拉姆达表达式f x = 2x + 1 写成 f = \x-> (2x+1) (x是输入,->后是输出)map f [1..n] ,f x = 2 * x + 1可写成 map (\x-> 2*x+1) [1..n]filter isEven [1..n] 可写成 filter (\x -> (mod x 2 == 0)) [1..n] 即isEven x = mod

2016-10-26 19:56:55 356

原创 Haskell 2

当希望分母为0时,可以增加测试数据的约束条件,比如: prop_x a b = (a /= 0 && b /= 0) ==> a div b == a div b用quick check 首先确保下载的是Haskell-Platform (full) 1. 在代码中 import Test.QuickCheck 2. GHCi 载入代码之后,执行 quickCheck prop_x

2016-10-19 20:32:58 1173

原创 Haskell1

((f x) g) y f :: A ->(B->C) x :: Af x :: B->C y :: B->C take n是取列表的前n项 drop n 是取列表去掉前n项后剩下的项[] , ->, 元组 是类型运算[Char]->[Char]->Bool <==> [Char]->([Char] ->Bool)无名变量’_’, 如定义列表长度函数: myLength :: [In

2016-10-12 20:45:04 367

原创 Haskell第一课

Haskell第一课 学号16340039 [数据科学与计算机][http://sdcs.sysu.edu.cn/]目录加减乘除开方&&指逻辑与,||指逻辑或,not指逻辑否==与/=中缀函数 前缀函数空格的使用函数调用的优先级条件判断语句函数的定义列表List及相关函数编写函数E=MC2E=MC^2标签(空格分隔): Haskell 笔记1. 加减乘除开方ghci

2016-10-01 15:56:25 545 1

原创 Haskell第三课

Haskell第三课标签(空格分隔): 笔记 HaskellHaskell第三课1.[ [ Char ] ]==[String]类型,如[“Hello”]2.定义算列表的和mySum :: [Int] -> IntmySum [] = 0 //这是递归基(递归基放前面)mySum (x:xs)(括号是因为函数调用的优先级最高,根据:的作用可知x:xs可以看作x:[xs]即[x,xs]) = x +

2016-10-01 15:18:44 289

原创 Haskell第二课

Haskell第二课标签(空格分隔): 笔记 Haskell1. double x y = x + y f x y::Int->Int(以e :: t的格式表示e的类型是t) f:: A1 -> A2-> B 其中A1A2是输入的类型,B是输出的类型(这事写函数前的类型说明),f是函数名(要小写字母开头) 例:add :: Int -> Int -> Int add

2016-10-01 15:18:13 251

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除