LO
И не зациклишь
Size: a a a
2020 September 26
Oℕ
Это настолько майнор, что я даже не знаю, почему это должно волновать
LO
Ну гонзалеса волнует
LO
Основная фича
Oℕ
Ну как, "незацикливаемость" это не то, чтобы важно в тотальности
Oℕ
Важно, что из неё следует, типа, что нельзя подсунуть выражение, которое на самом деле не производит то, что обещает
Oℕ
На каком-нибудь линейном дхалле может быть можно было бы и бесконечный цикл без потери тотальности написать
LO
Но нужно ли?
Oℕ
Ну почему нет, если тебе вот по конфигу вполне подходит что-то, что типизированно как какая-то бесконечный процесс или секвенция
Oℕ
Понятно, что и в интуиционистском бесконечность можно заменить иногда просто значением быстрорастущей функции
JC
Просто пишите корректный код на любом тьюринг полном языке, в чём проблема?
JC
Понапридумывают ересей
Oℕ
Просто пишите корректный код на любом тьюринг полном языке, в чём проблема?
В том, что нельзя до деплоя конфига убедиться, что эта херня подходит
LO
Один хрен отвалится в другом месте
JC
Всё равно умрём
Oℕ
Один хрен отвалится в другом месте
Ну если ты сразу отрезал 60% мест, где отваливается, значит деплоишь ещё чащеч ещё беззаботнее
LO
Ну если конфиг с днищем это 60% то я прям не представляю что за боги вам код пишут
Oℕ
Девопс должен быть таким, чтобы можно было положить камешек на кнопку "деплой нау" и забыть, где ты её оставил
Oℕ
Ну если конфиг с днищем это 60% то я прям не представляю что за боги вам код пишут
Опять докапывания до писателей кода
Oℕ
Идея в том, что чем безопаснее конфиг, тем больше туда можно выносить и большему кругу доверять