Возможны ли типы смешивания в ST (структурированный текст)

Question

Интересно, допустимо ли стандартом (IEC 1131-3) смешивать разные типы данных в выражении.

Пример

VAR A : BOOL; 
    B : INT; 

(* ... *) 

IF (B AND C) THEN 
    ... 
END_IF 

Answer 1

При преобразовании типа «вниз» в типы вы должны использовать явные функции преобразования типов. преобразование «вверх» выполняется неявно.

VAR A : BOOL; 
    B : INT; 
(* ... *) 
IF (INT_TO_BOOL(B) AND C) THEN 
    ... 
END_IF 

Есть все формы этого типа преобразования в виде TYPEA_TO_TYPEB()

Answer 2

Это не компилируется. Преобразование типов необходимо, так как ST является строгим, как Pascal.