第4周的练习:IO和测试
0 (*). 基本IO
重复 :: IO(输入输出) 布尔 -> IO(输入输出) () -> IO(输入输出) ()
重复测试操作
操作
测试
真的
1 (*). 查找函数的属性
查找 :: 等式 一 => 一 -> [( 一 , b )] -> 也许 吧 b 查找 x个 [] = 没有什么 查找 x个 (( x’ , 年 ) : xys公司 ) | x个 == x’ = 只是 年 | 否则 = 查找 x个 xys公司
prop_LookNothing(prop_LokNothing)
没有什么
2.prefixOf函数的属性
是前缀
前缀Of :: 等式 一 => [ 一 ] -> [ 一 ] -> 布尔 前缀Of [] _ = 真的 前缀Of _ [] = False(错误) 前缀为 ( x个 : X轴 ) ( 年 : 年 ) = x个 == 年 && 前缀Of X轴 年
前缀Of_alt :: 等式 一 => [ 一 ] -> [ 一 ] -> 布尔 前缀Of_alt X轴 年 = 拿 ( 长度 年 ) X轴 == 年
3 (*). 猜数字游戏
主菜单>
游戏 想想一个介于1和100之间的数字! 是50吗?
较高的 是75吗?
降低 是62吗?
降低 是56吗?
对 太好了,我赢了!
看起来像这样
游戏 :: IO(输入输出) ()
获取线路 :: IO(输入输出) 字符串 --读取一行用户输入 输入StrLn :: 字符串 -> IO(输入输出) () --输出一行文本
4.备份脚本
创建一个名为“backup”的新目录, 将当前目录中的所有文件复制到备份目录中。
前奏曲>
:模块系统。 号码簿 前奏曲系统。 目录>
:浏览 ... 创建目录::文件路径-> IO(输入输出) () doesDirectoryExist::文件路径-> IO(输入输出) 布尔 ...
序列 :: [ IO(输入输出) 一 ] -> IO(输入输出) [ 一 ]