I've written a blog post about something called array short-circuiting in
Futhark: https://futhark-lang.org/blog/2022-11-03-short-circuiting.html