Не знаю что за квери, скажи что он должен делать

Возвращает текущий счётчик инструкций 0го ядра ЦПУ

Не знаю что это

погоди а виденье мира как сумму бесконечном малых это не работет чтоли?

Используется во всех бенчмарках, которым не хватает 64 Гц

Динамика это не компромисс, это отказ от всего

Нет

да

Да

Нихуя не понял.

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

Короче, это часы с гарантией монотонности и разрешением по времени в наносекунды

Ну и?

Ну и сигнатура-то какая?

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

В частности, как вообще объяснить программе на хаскеле, что такое гарантия монотонности и почему она важна

Чтобы узнать это ты шлёшь электронный импульс по проводку и получаешь обратно другой импульс. Ты получил значение в импульсах. Оно не может поменяться у тебя, если ты хочешь его узнать снова ты должен сделать новый запрос

тебе говорят что функии которая работает со временем проще ПРИНИМАТЬ время, а не обращаться к глобалке

В программе всегда есть то что проверяет компилятор статически и то что в рантайме проверяется динамически. И даже в статически типизированных языках всегда есть то что не типизируется вообще никак (если это не язык с завтипами и ты не пишешь полностью верифицированную программу). И в статически типизированных языках, особенно популярных, система типов обычно мягко говоря не очень и всё равно приходится держать миллион вещей в голове и писать миллион тестов.

Именно так, и новый запрос вернёт значение строго больше предыдущего