Тип данных – это абстрактное наименование группы сходных данных, определяемое тем, какие операции с этими данными являются допустимыми, как данные этого типа изображаются, и какие значения они могут принимать. В базовый комплект входят типы:
Этот список может быть расширен практически любыми типами данных, как простыми, так и структурными (состоящими из нескольких простых или сложных типов). Простые типы данных могут быть совместимы с базовыми типами, вплоть до автоматического преобразования (смотри далее «Преобразование типов»). Структурные (или сложные) типы могут иметь необходимые свойства, доступные при помощи вызовов специальных операций. Таким образом, могут быть описаны группы данных, получаемых от аппаратуры, дисковые файлы, сетевые соединения, окна, текстовые документы, базы данных и т.д. Структура данного сложного типа скрыта от прикладного программиста, подобно тому, как производится инкапсуляция в классических объектно-ориентированных языках. Базовый комплект Ci включает два сложных типа – это строка и блок.
В языке Ci поддерживается скрытое преобразование типов данных. Некоторые операции могут принимать данные различных типов или возвращать значение, тип которого определяется по контексту.