[]
[ 三 ]
[ “哈斯克尔” , “JavaScript” , “C” , “Python” ]
[ 1 , 三 , 真的 , “Python” ]
[ 1 , 2 , 三 ] /= [ 三 , 2 , 1 ]
5 : ( 6 : ( 三 : [])) == 5 : 6 : 三 : [] == [ 5 , 6 , 三 ]
“哈斯克尔” == [ “H” , “a” , “s” , “k” , “e” , “l” , “我” ]
类型 字符串 = [ 字符 ]
[]
x个 : X轴
x个
X轴
数据 手 = 清空 | 添加 卡片 手
数据 列表 一 = 无 | 欺骗 一 ( 列表 一 )
数据 [ 一 ] = [] | 一 : [ 一 ]
长度 :: [ 一 ] -> 国际 ( ++ ) :: [ 一 ] -> [ 一 ] -> [ 一 ] 凹面(concat) :: [[ 一 ]] -> [ 一 ] 拿 :: 国际 -> [ 一 ] -> [ 一 ] 拉链 :: [ 一 ] -> [ b条 ] -> [( 一 , b条 )] 地图 :: ( 一 -> b条 ) -> [ 一 ] -> [ b条 ] 滤波器 :: ( 一 -> 布尔 ) -> [ 一 ] -> [ 一 ]
和 , 或 :: [ 布尔 ] -> 布尔 单词 , 线 :: 字符串 -> [ 字符串 ] 解除武装 , 无线条 :: [ 字符串 ] -> 字符串
总和 , 产品 :: 号码 一 => [ 一 ] -> 一 元素 :: 等式 一 => 一 -> [ 一 ] -> 布尔 分类 :: 订单 一 => [ 一 ] -> [ 一 ]
快速排序 :: 订单 一 => [ 一 ] -> [ 一 ] 快速排序 [] = [] 快速排序 ( x1个 : X轴 ) = 快速排序 较小的 ++ [ x1个 ] ++ 快速排序 更大的 哪里 较小的 = [ x个 | x个 <- X轴 , x个 <= x1个 ] 更大的 = [ x个 | x个 <- X轴 , x个 > x1个 ]
prop_take_drop n个 X轴 = 拿 n个 X轴 ++ 滴 n个 X轴 == X轴 非拖放take_drop n个 X轴 = 滴 n个 X轴 ++ 拿 n个 X轴 == X轴
快速检查prop_take_drop
快速检查nonprop_take_drop
prop_take_drop :: 等式 一 => 国际 -> [ 一 ] -> 布尔 非拖放take_drop :: 等式 一 => 国际 -> [ 一 ] -> 布尔
快速检查 非拖放take_drop
非拖放take_drop :: 国际 -> [()] -> 布尔
()
()
数据 () = ()
快速检查
:set-XNoExtendedDefaultRules
默认值(整数、双精度)