上一页 1 2 3 4 5 6 7 8 9 10 ··· 33 下一页
摘要: Monads 翻译叫 “单子” 或者 “一个自函子上的幺半群” 好吧除了让人费解没有什么用 同样举一个书上的例子 data Expr = Val Int | Div Expr Expr eval :: Expr -> Maybe Int eval (Val n) = Pure n eval (Div 阅读全文
posted @ 2021-11-13 20:37 liankewei123456 阅读(51) 评论(0) 推荐(0) 编辑
摘要: Haskell 学习笔记 -- functor / applicative 这部分肯定是 Haskell 中最最抽象的了,我上课就没懂( 还有什么范畴论,自闭了 Functor 函子 函子的意思是一类容器,它里面可以装各种东西 比如 [] \ Maybe \ Tree 要让一个数据结构成为 Func 阅读全文
posted @ 2021-11-13 20:03 liankewei123456 阅读(87) 评论(0) 推荐(0) 编辑
摘要: Haskell学习笔记--IO (是IO不是OI 下周考试,赶紧冲刺 data IO a A value of type IO a is a computation which, when performed, does some I/O before returning a value of ty 阅读全文
posted @ 2021-11-13 19:23 liankewei123456 阅读(38) 评论(0) 推荐(0) 编辑
摘要: type 类型别名 type IntList = [Int] 注意大写 newtype 类似data 但只允许有一个构造函数,构造函数只能有一个参数 newtype Cm = Cm double deriving Eq 优点:快 阅读全文
posted @ 2021-10-23 12:56 liankewei123456 阅读(60) 评论(0) 推荐(0) 编辑
摘要: 数字类 这玩意就不鸡肋了,看起来还挺重要 quot 除法,向 0 取整 div 除法,向下取整 quot/rem 比 div/mod 快 ceiling /floor 向上/向下取整 阅读全文
posted @ 2021-10-23 12:53 liankewei123456 阅读(35) 评论(0) 推荐(0) 编辑
摘要: class 类 顾名思义就是一类玩意,他们有着相似的特点 Eq 等价类 Ord 有序类 Show/Read Num 数字类 + - * abs signum Integral 整数类 div mod Fractional 小数类 typeclass 类型类 这个翻译的...我快看不懂类字了 data 阅读全文
posted @ 2021-10-23 10:55 liankewei123456 阅读(66) 评论(0) 推荐(0) 编辑
摘要: Haskell学习笔记--scanl/scanr 类似foldl/flodr 但是将每一步都记录下来,保存为list scanl :: (b -> a -> b) -> b -> [a] -> [b] scanr :: (a -> b -> b) -> b -> [a] -> [b] eg. sca 阅读全文
posted @ 2021-10-22 21:34 liankewei123456 阅读(101) 评论(0) 推荐(0) 编辑
摘要: Haskell学习笔记--foldl/flodr foldl :: (b->a->b)->b->[a]->b f x y x0 [y_i] result foldl f v [] = v foldl f v (x:xs) = foldl f (f v x) xs 可以理解为从从头到尾使用 f fol 阅读全文
posted @ 2021-10-22 20:45 liankewei123456 阅读(142) 评论(0) 推荐(0) 编辑
摘要: codeforces1540B 题目:https://codeforces.com/contest/1540/problem/B sol: 一整年没有写题回来练练手,发现啥都不会了。 可以枚举一个根 $rt$ ,再枚举点对 $(a,b)$ ,其中 $a \leq b$; 出现逆序对需要 $b$ 在 阅读全文
posted @ 2021-06-27 08:33 liankewei123456 阅读(52) 评论(0) 推荐(0) 编辑
摘要: 深邃(deep) 当我们伟大的领袖V还小的时候,他的目光就十分深邃,显示出他过人的天赋。这一天,他将目光投向了贤者之森里的一棵树。 这是一棵有n个节点n-1条边的树,其中有k个节点长有果实,V想删去一些边,使得树分为几个连通块,满足每个连通块都包含至少一个果实,并且最大的连通块最小。 V请你求出答案 阅读全文
posted @ 2020-03-07 19:12 liankewei123456 阅读(200) 评论(0) 推荐(0) 编辑
上一页 1 2 3 4 5 6 7 8 9 10 ··· 33 下一页