Dice — объектно-ориентированный язык программирования общего назначения. Принцип — простота, поскольку многие темы языка заимствованы из Java . Dice — это язык высокого уровня, который использует LLVM IR для абстрагирования аппаратной реализации кода. Использование LLVM в качестве бэкэнда такжепозволяет автоматически собирать мусор из переменных. Dice — это строго типизированный язык программирования, а это означает, что во время компиляции язык будет проверяться по типу, что предотвращает ошибки типа во время выполнения.
В языке программирования Dice существует два типа типов: примитивные типы и непримитивные типы. Соответственно, существует два типа значений данных, которые могут храниться в переменных, передаваться в качестве аргументов, возвращаться методами и обрабатываться: примитивные значения и непримитивные значения.
Существует также специальный нулевой тип — тип выражения null, у которого нет имени. Поскольку нулевой тип не имеет имени, невозможно объявить переменную нулевого типа. Нулевая ссылка — единственное возможное значение выражения нулевого типа. Нулевая ссылка всегда может быть преобразована в любой ссылочный тип. На практике программист может игнорировать нулевой тип и просто притворяться, что null — это просто специальный литерал, который может относиться к любому ссылочному типу.