Ааа, понял, спасибо за объяснение

Ну в физике гораздо быстрее процессы бывают

Типа 9 192 631 770 Гц это всего лишь 9 ГГц

По-моему такие регистры будут нужны только в некоторых узких задачах, пока в каждом компе не будет атомных часов

Кажется, электронные подписи -- не очень узкая задача

По крайней мере, в ближайшем-среднем будущем

Для электронных подписей нужно такое точное время?

ладно, вроде не нужно

Представим, что у вас четырёх процессорный сервер, который обрабатывает миллион подписей/таймштампов в секунду. А с учётом работы соседних серверов в стойке и необходимости соблюдать порядок с точностью 1/10 — это уже требует отсчёта времени с тактом в 10 млн/сек. Вполне реальная нагрузка.

Заверение финтранзакций, роботосделки с ценными бумагами, удостоверение логистических цепочек, не говоря уже о блокчейнах, где такие скорости архиважны.

когда-нибудь блокчейнам придумают реальный юзкейс...

зачем скатываться к обсуждению блокчейна, если первые из списка гораздо актуальнее?))

Это в 90х решено в Geant4 в том же духе, как в пакете quantitites@DUB выше. Вы просто пишете в одной системе единиц, вводя коэффициенты вроде mile и т.д. Я этим пользовался - очень удобно и ошибок нет, т.к. при забивке констант вы всё пишете с размерностью.

Вариант с отдельными типами пролетает потому, что физические размерности проносятся через алгебраические функции вроде pow/sqrt. То есть, вы должны написать такую статическую проверку размерностей, которая из

1m / pow( 1c, 2.0) сделает размерность ускорения.

Я совершенно не уверен, что это возможно на данном этапе развития языков программирования.

———————————————————
И основная проблема, с которой намучался я - это линейность записи формул в обычных ЯП. То есть, когда вы на бумажке легко пишете простое и понятное многоэтажное выражение, в переводе на C/Haskell/R/Python-куда-угодно получаем какую-то бессвязную ленту символов. Приходится придумывать совершенно искусственные обозначения для частей формулы.

Степени, слава богу, есть. Но они целые.

Но за <+>, <-> хочется прибить. Сложно оно само получается.

ну есть разница между "невозможно на данном этапе" и "оверлоадинг неидеален"

Тем не менее, мне, как практику, проблема размерностей в ЯП кажется надуманной. Динамического решения обычно достаточно с лихвой.

Причём даже просто перевода к системе Си. Без проверки правильности размерностей в промежуточных вычислений.

пример обработки в С++

отсюда https://channel9.msdn.com/Events/GoingNative/GoingNative-2012/Keynote-Bjarne-Stroustrup-Cpp11-Style