Типы в инженерных задачах

Спасибо, интересная статья. Но по ходу чтения возникли замечания.

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

На самом деле это совсем не так. Например, возьмем денежные операции. Я не могу Вам дать меньше одной копейки в физическом мире. И взять не могу меньше одной копейки. Конечно, валюты со временем меняются. И в конечном счете - сейчас уже фактически расчеты меньше, чем в рублях (опять же в физическом мире) не имеют смысла. Но здесь я иллюстрирую, что у любого физического типа есть некий минимальный квант. например, для расстояния это будет расстояние планка. Для заряда - я так понимаю - заряд электрона (не может быть дробного заряда). И так далее. То есть ДЕ ФАКТ у нас величины все являются не значениями с плавающей точкой, а скорее bigint в диапазоне возможных изменений, которые мы можем наблюдать в природе. Опять же - мы можем попасть в беду, если будут установлены какие-то новые физические законы. Или мы захотим (как с финансами) считать сложные проценты с накоплением частей минимальной единицы... Но в принципе - почему было бы не попробовать?

С другой стороны, такой подход возможно был бы контрпродутивным, потому что мы все-таки живем в реальном мире и переопределять эти недискретные величины в виде меры количества... ну такое... Сегодня линейка была "5 тера"расстояний планка, а завтра 5T+1 - не очень практично, проще говорить, что она 5 метров...

Таким образом, целесообразно и радианы и стерадианы также включать в степенной одночлен представления «физического» типа и

а еще проценты % и промилле ‰, ага. С градусами такая же история (если мы говорим про углы) - мы запросто могли бы их считать в количествах Pi, то есть в физическом мире нет градусов на самом деле. И точно так же как и с процентами и промилле - мы вынуждены градусы переводить в безразмерную единицу (радиан). А наличие sin/sind вызовов в конкретном ЯП - это всего лишь артефакт языка, а не реально отражение системы типов (как будто бы). Потому что иначе надо идти дальше и вводить проценты как отдельный подтип... Чтобы можно было делать операции с безразмерными величинами и процентами...