https://futhark-lang.org/blog/2022-11-03-short-circuiting.html · A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.