See section 7 of http://www.cs.cmu.edu/~15122/handouts/02-ints.pdf (As an aside nearly every language defines division on the set of integers this way so it’s not even like we’re making this up)
To quote a fellow TA below: “I am currently a TA for 15-122 at Carnegie Mellon, the class that C0 was originally made for. I would argue that C0 does an excellent job at breeding good programmers because of the…
Also - we don’t break complete compatibility with C. We just restrict the amount of C things they are allowed to use
The course that uses C0 goes on later to C, and is literally titled “Principles Of Imperative Computation”. We use Standard ML for “Introduction to Functional Programming”. - source: I’m a TA for this course
“No division”? How do you reason this? Integer division is a thing
See section 7 of http://www.cs.cmu.edu/~15122/handouts/02-ints.pdf (As an aside nearly every language defines division on the set of integers this way so it’s not even like we’re making this up)
To quote a fellow TA below: “I am currently a TA for 15-122 at Carnegie Mellon, the class that C0 was originally made for. I would argue that C0 does an excellent job at breeding good programmers because of the…
Also - we don’t break complete compatibility with C. We just restrict the amount of C things they are allowed to use
The course that uses C0 goes on later to C, and is literally titled “Principles Of Imperative Computation”. We use Standard ML for “Introduction to Functional Programming”. - source: I’m a TA for this course
“No division”? How do you reason this? Integer division is a thing