Computer Science – Computation and Language
Scientific paper
2001-04-03
Computer Science
Computation and Language
1 HTML page, 1 C++ source code file
Scientific paper
The present paper shows meta-programming turn programming, which is rich enough to express arbitrary arithmetic computations. We demonstrate a type system that implements Peano arithmetics, slightly generalized to negative numbers. Certain types in this system denote numerals. Arithmetic operations on such types-numerals - addition, subtraction, and even division - are expressed as type reduction rules executed by a compiler. A remarkable trait is that division by zero becomes a type error - and reported as such by a compiler.
No associations
LandOfFree
Type Arithmetics: Computation based on the theory of types does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Type Arithmetics: Computation based on the theory of types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type Arithmetics: Computation based on the theory of types will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-291823