Я пытаюсь вспомнить слово, я думаю , что оно связано с вычислительной теорией или теорией баз данных. Ближайший синоним есть, atomic
но это не совсем так. По сути, это своего рода вычисления, которые должны давать один и тот же результат, даже если они запускаются несколько раз подряд, то есть не создают побочных эффектов для себя.
Я специально наткнулся на это слово в ответе переполнения стека о команде chmod (или какой-либо другой операции, связанной с разрешениями).
Надеюсь, этого будет достаточно. Прогулки по Википедии не сильно помогают.
terminology
permissions
Марк Фокс
источник
источник
Ответы:
Возможно, вы думаете о « идемпотенте ».
источник
f
идемпотент IFFf(f(x)) == f(x)
FORALLx
.pure
функциями ... Ну, вроде бы, они также не должны иметь никакого побочного эффекта вообще.Общее слово - идемпотентность, которая относится как к компьютерам, так и к математике. Это не то же самое, что Reentrant, с которым его часто путают. Идемпотентность - это именно то, что вы описали. Реентрант в основном прерван способностью подобрать именно то, где вы остановились.
Чисто функциональные языки, такие как Haskell, построены вокруг принципа близости к идемпотенту, насколько это возможно. Первые три буквы ACID в теории баз данных - идемпотентность применительно к базам данных.
источник
Возможно, вы ищете чистую функцию .
Как определено в ссылке, два условия делают функцию чистой:
источник
f(x) := x + 1
чисто, но, конечно, не идемпотентно.В линейной алгебре линейные идемпотентные функции называются проекциями. Может быть, это слово, которое вы ищете. :)
http://en.wikipedia.org/wiki/Projection_(linear_algebra)
источник
Другая возможность является детерминированной .
источник