
9 Nov
2010
9 Nov
'10
12:21 a.m.
On 05/11/2010, at 4:11 PM, Luke Palmer wrote:
Also they "don't scale well", which I guess means that they don't make it inconvenient to design badly.
And they don't communicate enough information about the preconditions/postconditions of their functions to easily allow large programs to remain correct? That is, the types expected and returned.