2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30586The 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.1 HTML page, 1 C++ source code fileComputation and LanguageF.3.3; F.4.2; D.3.3text