Оператор & - переполняющее умножение (overflowing multiplication). &: • игнорирует переполнение; • выполняет умножение по модулю диапазона типа; • не вызывает runtime error. ___ Для Int8 диапазон: -128...127 Общая формула: result = (a b) mod 2^N mod - остаток от деления (%), но не может быть отрицательным. Числа, выходящие за пределы, оборачиваются по модулю 256 (2^8). Наглядно 0000_0000 - 0 0000_0001 - 1 ... 0111_1111 - 127 1000_0000 - -128 1000_0001 - -127 ... 1111_1111 - -1 опять 0000_0000 - 0 32 4 = 128 128 не помещается в Int8. Битовый паттерн зарезервирован под -128.