• 2023-03-28范畴论:迷人的数学花园
    一、引言范畴论是一个充满挑战和乐趣的数学领域,就像一座迷人的数学花园。它将不同数学领域的共性抽象出来,帮助我们更好地理解数学本质。现在,就让我们一起走进这个神奇的花
  • 2023-01-19读编程与类型系统笔记11_高级类型及其他
    1. 范畴论1.1. 范畴论是数学的一个分支,研究的是由对象及这些对象之间的箭头组成的结构1.2. 函子和单子的概念来自范畴论1.3. Haskell是一种编程语言,从范畴论中汲取
  • 2022-11-19函数式编程
    函数式编程函数是一等公民,函数式的思想来源于数学运算,而柯里化的操作可以将多参函数转为单参函数,而单参函数一般希望是纯函数(即不存在副作用的函数),可以实现f(g(x))这样