The logic of Array.index can be implemented in terms of length and unsafeIndexImpl. Is it necessary for it to be foreign? In backend-optimizer, I'm preparing a change to inline the bounds check so that the Just allocation can be eliminated in some cases. If index bounds checking was implemented in PureScript rather than FFI, this would just work.
The logic of Array.index can be implemented in terms of
lengthandunsafeIndexImpl. Is it necessary for it to be foreign? In backend-optimizer, I'm preparing a change to inline the bounds check so that theJustallocation can be eliminated in some cases. Ifindexbounds checking was implemented in PureScript rather than FFI, this would just work.