If a function uses variables on stack, and no views are given in the code, does the compiler generate them and check them, so that dangling pointers and other evils are mitigated? Examples in the book show the views in comment sometimes, but I want be sure if the compiler is protecting me or not.
Yes, the compiler does all the necessary checks to make sure that a proof of
some kind of at-view is available before a pointer can be dereferenced.
ATS makes it quite hard to do ‘evils’ inadvertently :)On Thursday, December 31, 2015 at 10:52:07 PM UTC-5, Mike Jones wrote:
If a function uses variables on stack, and no views are given in the code,
does the compiler generate them and check them, so that dangling pointers
and other evils are mitigated? Examples in the book show the views in
comment sometimes, but I want be sure if the compiler is protecting me or
not.