Well-versed in the technical side of things thanks to extensive Software Engineering experience. Enthusiastic about Statistical Inference, Machine Learning and Visualizations. He/him.
Do I get it right that these restrict and array length annotations are just promises from a programmer and compiler don't and can't check their actual validity?
Well-versed in the technical side of things thanks to extensive Software Engineering experience. Enthusiastic about Statistical Inference, Machine Learning and Visualizations. He/him.
Do I get it right that these
restrictand array length annotations are just promises from a programmer and compiler don't and can't check their actual validity?Sort of. Formally, they are promises, though some sane compilers can check a passed array length: hamberg.no/erlend/posts/2013-02-18....
Cool! Thanks. 😃