ml

8Nhiệt

3Trả lời

Hiểu lỗi kiểu: "mong đợi chữ ký Int * Int-> Int nhưng có Int * Int-> Int"

Các ý kiến ​​về Steve Yegge 's post về server-side Javascript bắt đầu thảo luận về giá trị của hệ thống loại bằng các ngôn ngữ và điều này comment mô tả: ... examples from H-M style systems where you

haskell ml type-theory 2008-11-27

---