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

    作为程序员的我们用不同编程语言写程序多年了。 我们是否反思过,为什么需要程序,为什么我们需要编程语言,究竟什么是编程语言,它们是怎样运作的?同时...