Posts

SDDM /etc/sddm.conf 登录屏幕(SDDM) usr/share/sddm/faces 下为用户头像 (可用 root.face.icon 作为参考) (x) ~/.face.icon 和 ~/.face 屏幕锁定界面(SDDM) 系统配置-桌面行为-锁屏 下直接更换 Plasma 启动动画 ~/.local/share/plasma/ 下配置相关文件后

Haskell标准库查询 Hoogle Hooyoo Data.List Data.List所有函数 intersperse '.' "MONKEY" -- 数组每个元素中间插入一个元素 transpose [[1,2,3][4,5,6]] -- 转置矩阵 foldl' foldl1' -- 惰性实现的严格版本, 具体见 Haskel

类型 Type Type 首字母必须大写, 可用 :t data 测试 ghci> :t 'a' 'a' :: Char ghci> :t True True :: Bool ghci> :t "Hello!" "Hello!" :: [Char] ghci> :t (True, 'a') (True, 'a') :: (Bool, Char) Type 包括以下 Int 与机器字长有关的整数 Integer 无界的整数 Float 单精度浮点数 Double

Continuation Continuation 表示一个表达式被求值之后，接下来要做的事情 call/cc(call一个continuation) call/cc必须passed一个有 一个参数 的pr

Lambda形参表的三种形式 (lambda (x …) (func x …)) (define f (lambda (x y z) (x z y))) 等价于 (define (f x y z) (x z y)) ;; (f - 1 2) => (- 2 1) => 1 (lambda (x … . y) (func x … . y)) (define g (lambda (x . y) (list x y))) 等价