ЕО
Я не думаю, что он принципиально такой, но всё равно
Size: a a a
2020 November 06
AG
рост это же про создание новых компьютеров?
AG
а если взять конкретный комп в конкретный момент времени
ЕО
Ну, про увеличение объема хранилища коллективной нетерминированной машины
ЕО
а если взять конкретный комп в конкретный момент времени
Ну по факту любое серверное вычисление производится не на конкретном компе, а на виртуальном, которому всё больше и больше памяти по сети доставляется
AG
я короче это к тому что каждый отдельный компьютер это все равно гигантский конечный автомат, так что тут уже по вещественным числам плакать
ЕО
Знаешь, головка тьюринг-машины тоже конечный автомат
ЕО
Нужно всё-таки учитывать коллективный процесс вычислений
AG
Ну по факту любое серверное вычисление производится не на конкретном компе, а на виртуальном, которому всё больше и больше памяти по сети доставляется
хорошо что у нас идеальная сеть!
AG
и, элегантно возвращаясь к онтопику, на пюрскрипте все ж таки в основном фронт пишут :)
ЕО
Что не мешает время эмулировать как вещественно-рекурсивные :: (BigInt, BigInt -> Int ) (т.е. целая часть + n'ая цифра в 2^64-ой системе счисления)
В таком случае ты будешь скрывать ограниченность памяти за частотой дискритезации
В таком случае ты будешь скрывать ограниченность памяти за частотой дискритезации
ЕО
Но для потенциально более мощных машин ты сможешь использовать более точные вычисления, не меняя кода
ЕО
Мне непонятно зачем, но можно :)
AG
ну вот континуальное время в коналофрп как раз про это
ЕО
Он правда такие вещественные использует? Я думал у него там флоаты
AG
а "синхронность" это терминология из языков 80х типа esterel
AG
они там вдохновлялись синхронизацией в микросхемах
ЕО
Ну это актуально для pull-based модели, получается, ты раз в какое-то время "затягиваешь" ивенты