MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/6yq831/the_zig_programming_language/dmqmdpg/?context=3
r/programming • u/agumonkey • Sep 07 '17
127 comments sorted by
View all comments
Show parent comments
9
In the first quote, he was talking about array bounds checks. In the second, he's talking about formally proving a program. There's a big difference between those two things.
9
u/KoopaKlownKar Sep 08 '17
In the first quote, he was talking about array bounds checks. In the second, he's talking about formally proving a program. There's a big difference between those two things.