The C5 Programming Language

Abstract

This is the third edition of the C5 manual. C5 is a programming language developed at the Instituto de Computación (InCo). C5 is a superset of the C programming language. The main difference between C and C5 is that the type system of C5 supports the definition of types of dependent pairs. The goal of the C5 language is to experiment with generic programs based on functions with dependent arguments. At the present the C5 framework includes the C5 compiler and a set of generic libraries that are the result of C5 related projects like the OPM machine, Typed Windows, Generic Fonts and the generic version of \{\\tt scanf\}. Like the previous editions, the current edition is a recompilation of the reports of C5 projects extended with appendixes. The main differences between the current edition with previous are: \\begin\{enumerate\} \\item a new rewriting of the introduction chapter. \\item the functions \{\\tt C5\\_seq\} and \{\\tt C5\\_copy\} are moved to a new chapter. \\item a new chapter is included with the generic version of \{\\tt scanf\}. \\item a new version of the Appendix C. \\item several errors of the previous edition detected by the students are corrected. \\end\{enumerate\} This manual is mainly used in C5 projects and the course Introducción a la Programación para Diseño Gráfico of the study programs Ingeniería en Computació and Maestría en Informática of PEDECIBA.