Автоматическая типизация данных

В языке Колибри предусмотрена функция автоматического определения типа данных. Тип данных значения определяется автоматически в соответствии с ожидаемым в данном выражении типе данных. Автоматическая типизация данных упрощает написание выражений, позволяя задавать типы данных не пользуясь функциями преобразования.
Например, согласно синтаксису функции УсечьДо() вторым аргументом функции должно являться значение с типом данных Целое.

УсечьДо(значение: ЧИСЛО; количество_знаков: ЦЕЛОЕ_ЧИСЛО): ЧИСЛО

Согласно правилам описания значения с типом данных Целое, второй аргумент функции УсечДо() необходимо заключить в функцию преобразования ВЦелое().

УсечьДо(1,23456; ВЦелое(3))

Вышеуказанный способ может использоваться для написания формул, однако, благодаря автоматической типизации можно не использовать функцию преобразования, если на месте второго аргумента функции УсечДо() использовать целое число, которое ожидается согласно синтаксису функции.

УсечьДо(1,23456; 3)

Автоматическая типизация действует не только в рамках аргументов функций.

[id]<>'123e4567-e89b-12d3-a456-426655440000'

В данном примере значения колонки [id], имеющей тип данных Идентификатор, сравнивает со строкой. Ожидается, что значение, с которым сравнивается значение колонки [id], будет также иметь тип данных Идентификатор, поэтому все значения, имеющие необходимый формат, будут считаться подходящими значениями.
Аналогично сработает автоматическая типизации при сравнении со значением, имеющим тип данных Дата.

Сейчас() > '2021-06-01'