> I am skeptical of targeting an array language to a VM that requires a type check on every element of the array. Numpy handles this by performing all its actio

> I am skeptical of targeting an array language to a VM that requires a type check on every element of the array. Numpy handles this by performing all its actions in a C library independently of the CPython VM. If arrays are implemented as binaries then you should be fine. > For example, summing an array should invoke an action in the VM that adds together all of the elements of the array with only a single type look-up. Erlang makes it easy to add NIF when you want sum to be a little bit faster. I think this is the last problem anyone needs to solve though, the elegance of array-language solutions is far more important than their performance. That they're also performant is how we know all other languages are wrong :)