Arrays are currently indexed in a way that their values are put into a primitive index. In other words if we index ['a', 'b'] it produces two elements 'a' and 'b'. This can be useful but creates inconsistency and we should go back to a standard equality scheme.
Arrays are currently indexed in a way that their values are put into a primitive index. In other words if we index ['a', 'b'] it produces two elements 'a' and 'b'. This can be useful but creates inconsistency and we should go back to a standard equality scheme.