Processing math: 100%

11 2020 档案

摘要:目录 希腊字母 数学符号 杂项 希腊字母 大写 LATEX对应代码 小写 LATEX对应代码 A \Alpha α \alpha B \Beta β \beta Γ \Gamma γ 阅读全文
posted @ 2020-11-22 22:11 shanxizeng 阅读(138) 评论(0) 推荐(1) 编辑
摘要:优秀的拆分 import Data.Char import Data.Bits main = do n <- readInt if n `mod` 2 == 0 then solve n 1 else putStr "-1" solve :: Int -> Int -> IO () solve 1 阅读全文
posted @ 2020-11-13 00:49 shanxizeng 阅读(154) 评论(0) 推荐(1) 编辑
摘要:lambda-calculus λ演算(lambda-calculus),是最小的通用程序设计语言。 三条基本语法规则 函数为第一类对象,即所有λ表达式构成Λ空间,而所有的λ表达式都是从Λ空间到Λ空间的一 阅读全文
posted @ 2020-11-10 22:39 shanxizeng 阅读(453) 评论(0) 推荐(1) 编辑
摘要:Haskell笔记 总论 Haskell是一种函数式语言,其运行的过程就是给函数传递参数,然后进行执行。 这里的函数指的是数学上的函数,如 f(x)=x2 下面是这个函数对应的haskell代码: sqr x = x * x 在GHCi环境中,我们将这行代码输入,即完成了该函数的定义。 阅读全文
posted @ 2020-11-10 00:36 shanxizeng 阅读(157) 评论(0) 推荐(1) 编辑

广告位招商,有意者请联系
点击右上角即可分享
微信分享提示