上Steve Yegge的post的意见有关server-side Javascript开始在语言讨论类型系统的优点,这comment描述: ... examples from H-M style systems where you can get things like: expected signature Int*Int->Int but got Int*Int->Int
你能给一个函数
的想法是多个维度走过去,每一个定义为范围 (* lower_bound, upper_bound, number_of_steps *)
type range = real * real * int
所以像fun foo y x或fun foo z y x功能可以应用到整个正方形X Y或立方体X Y * Z. SML/NJ不喜欢我下面的实现: test2.sml:7.5-22.6 Error