Christoffer Lerno
Christoffer Lerno
Regarding the keywords, the doc attributes are separate from normal attributes and are not reserved elsewhere.
[1] and [2] work for the preconditions but do not extend to any documentation. [3] does not work for several cases: * It is not implementing the ensure contract, since...
Since contracts now are in, but should be tweaked I'm closing this one.
Idea: /** * @param f (in) - inparameter * @param x (inout) - modify * @param w (out, init) - will always initialize **/
Additional ideas: `retain` for escaping pointers.
in, out, inout are in. Retain and init are missing yet.
I think the added complexity is not worth it. Note that there is already partial support for what match does as `case` supports both ranges and non-constant expressions. Consequently both...
Complexity in implementation is complexity in learning. I have not seen sufficient usefulness of it. The actual uses of it over an extended case is as far as I can...
I've also added: ``` switch { case x == 100: ... case x > 100: ... } ``` What use cases do you want match for?
Can we close this @data-man ?