> -- adimetrius писал(а):
> Напрямую v, s и t несовместимы, как при решении задач в физике, так и в программе; присваивание между ними бессмысленно. Неплохо было бы, если бы компилятор мог такое выявлять. Что скажете?Для языка общего назначения это, вероятно, излишнее усложнение, а если нет, то конструкторы типов никто, по-прежнему, не отменял. И для них можете задать всё, что угодно, если хватит сил, например, указать, что s/t - осмысленно и равно v, v/t - это а, но s/(t*t) нельзя, потому что t^2 бессмысленно. Можно ещё попытаться описать все варианты связей на свете. Например, сумма координат точек - это тоже бессмыслица, и вроде бы не нужна, но вот сумма координат точек, поделённой пополам - это координата точки, равноудалённо лежащей между ними и, вроде бы, нужна. Потом можно начать сводить разные модули от разных авторов и столкнуться ещё и с одинаковыми, но несовместимыми величинами.

Это всё хорошо в каком-то смысле, но не попадает в принцип Парето.