I had originally planned something like this for my PhD thesis, but found out that I'm in way over my head. So I scaled down my ambitions a little.<p>Array languages and SIMD are a match made in heaven. This should be the paradigm of choice for high-performance programming, but it's unfortunately pretty obscure.
It's about the author's language named Apple[1], took a few seconds since Apple Array System unfortunately sounds like some MacOS framework.<p>For people prefer C-like syntax, there is ispc[2], which supports x86 AVX and ARM Neon programming via LLVM.<p>[1] <a href="https://github.com/vmchale/apple">https://github.com/vmchale/apple</a><p>[2] <a href="https://github.com/ispc/ispc">https://github.com/ispc/ispc</a>
Probably a more proper title is "type directed optimization for SIMD", I do not see it particularly useful for array languages at large (as many of them, such as APL and J are untyped by intentional choice).