мили с метрами — не очень пример, лучше — метры с секундами

ошибку компиляции дадут? если нет, то нинужно

В идеале "не совать хеши юзеров в функции для хешей транзакций"

так это и обычными типами делается

Так и метры с секундами ньютайпами делается

Регистры с результатами логических операций. Могут быть отделены аппаратно, как в Эльбрусах или совмещаться с регистрами общего назначения, как в большинстве архитектур.

да, но на ньютайпах не сделаешь тот пример — делим расстояние на время и получаем скорость

Понял, спасибо

👍

Я не уверен, но на фундепах вроде бы можно

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

Секунды слишком крупные единицы, а эпохи у всех разные))

18 млрд лет назад хватит для всех 😁

«640 килобайт» казалось тоже хватает))

в 1 секунде — 9 192 631 770 тактов сейчас по атомным часам

Ну наносекунды)

А зачем делать типы в железе, если это всё обновлять придётся? Почему не делать софтверно?

В железе либо микроархитектурные соображения есть, как в риск5, где сделали различие между целыми и вещественными из-за способа декодирования инструкций и желания иметь «много» регистров или возможность «компактной» реализации в транзисторах.

Либо для ускорения отладки и предотвращения опасных ошибок, как в эльбрусах с тегами.

Так, а почему время это не просто целое число. Для времени и для целых чисел будут разные регистры?

предположим, что храним именно секундами. тогда нам понадобится 60 бит на целую часть (18 млрд лет) и 34 бита на дробную (9 192 631 770  тактов). то есть нужен регистр минимум в 94 бита с правилами/командами, учитывающими фиксированную запятую в нужном разряде.

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