Было бы весьма утомительным строить сложные вычисления, опираясь на столь элементарную систему, но обычно в этом и не возникает необходимости. Когда я перейду к обсуждению внешних функций, вы увидите, что существует и другой путь рассмотрения подобных случаев. Наша система различает вероятности и числа. Она рассматривает эти объекты как объекты разных типов, так что компилятор не даст вам возможности совершать арифметические действия с вероятностями.
