You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Guppy allows a few unsafe operations. The most notable is linear array indexing which may fail at runtime (e.g. using the same index twice, bounds overflow).
While we can encourage practices which reduce the use of this (e.g. list comprehensions, constant folding to check statically known indices etc.) it seems unlikely we can eliminate entirely.
One option to make this easier to manage is follow Rust's unsafe example and have explicitly annotated regions
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Guppy allows a few unsafe operations. The most notable is linear array indexing which may fail at runtime (e.g. using the same index twice, bounds overflow).
While we can encourage practices which reduce the use of this (e.g. list comprehensions, constant folding to check statically known indices etc.) it seems unlikely we can eliminate entirely.
One option to make this easier to manage is follow Rust's
unsafe
example and have explicitly annotated regionsCalls to unsafe functions would only be allowed in other unsafe functions.
Beta Was this translation helpful? Give feedback.
All reactions