Timeline for Simplifying Array Access
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 11, 2023 at 6:05 | comment | added | ice1000♦ | @AndrejBauer you're right. I should say you can't reason about them as naturally as you could reason about lists -- you would pay extra effort to do so. | |
Oct 11, 2023 at 5:34 | comment | added | Andrej Bauer | @ice1000: Would you really say that? If you provide proofs of correctness of indices, as you should, you can reason about arrays. | |
Oct 10, 2023 at 21:23 | comment | added | ice1000♦ | @redjamjar you can write programs with arrays, but you can't reason about them. | |
Oct 10, 2023 at 20:54 | comment | added | Andrej Bauer | @redjamjar: You can use arrays, but only in safe ways. | |
Oct 10, 2023 at 20:02 | comment | added | redjamjar | I don't understand ... so what, basically we can't use arrays ?? | |
Oct 10, 2023 at 1:24 | history | answered | ice1000♦ | CC BY-SA 4.0 |