0
comment
comment
on 12/11/2012 5:12 AM
As programmers we often want to express that a special property holds for a method, e.g. we want to say that the associativity law holds for list concatenation. In F# we could define a concat method like this: As programmers we could write a couple of unit tests which try to check the associativity law. [...]