240 发简信
IP属地:广东
  • 对类型理论(Type Theory)的理解

    作为程序员的我们用不同编程语言写程序多年了。 我们是否反思过,为什么需要程序,为什么我们需要编程语言,究竟什么是编程语言,它们是怎样运作的?同时,函数式编程范式现在是一门很热...

  • 有用魔力盒的有木有,可以看每天推荐的有趣的视屏