|
|
|
|
|
|
by mhh__
2339 days ago
|
|
|
I think your fourth rule is better stated along the lines of requiring constraints on both input and output (Performance?) a la bool noNaNs(float[] test);
bool isSorted(inout float[]);
float[] sort(float[] input)
in(input.noNaNs)
out(o; o.isSorted)
{
return input;
} Not sure about goto, I'm not sure what I prefer between goto or a while loop and a very big switch statement (let's say) to implement a lexer. |
|
|