类型签名

Hindley Milner 类型签名

  • 代码最好的文档
  • 标明输入和输入
  • Compile time checks

HM系统中,用a,b类似这样的来代表类型,a引用代表的一定是同一个类型,a和b一定是不同的类型。

Comments

Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×