Saya mencoba mengingat sebuah kata, saya pikir itu terkait dengan teori komputasi atau database. Sinonim terdekat adalah atomic
tetapi bukan itu tepatnya. Pada dasarnya ini adalah semacam perhitungan yang harus menghasilkan hasil yang sama bahkan ketika dijalankan beberapa kali berturut-turut, artinya itu tidak menciptakan efek samping untuk dirinya sendiri.
Saya secara khusus berlari melintasi kata ini dalam jawaban Stack Overflow tentang perintah chmod (atau operasi terkait izin lainnya).
Semoga itu cukup untuk melanjutkan. Berkeliaran di Wikipedia tidak banyak membantu.
terminology
permissions
Mark Fox
sumber
sumber
Jawaban:
Anda mungkin berpikir " Idempoten ".
sumber
f
IFFf(f(x)) == f(x)
FORALL idempotenx
.pure
fungsi ... Yah, agak, mereka juga tidak harus memiliki efek samping sama sekali.Kata umumnya adalah Idempotensi yang berlaku untuk komputer dan matematika. Ini tidak sama dengan Reentrant yang sering membingungkan. Idempotence persis seperti yang Anda gambarkan, Reentrant pada dasarnya dapat diinterupsi dengan kemampuan untuk mengambil tepat di mana Anda tinggalkan.
Bahasa Fungsional Murni seperti Haskell dibangun dengan prinsip sedekat mungkin dengan Idempoten. Tiga huruf pertama dari akronim ACID dalam Database Theory adalah Idempotence sebagaimana diterapkan pada Database.
sumber
Anda mungkin mencari fungsi murni .
Seperti yang didefinisikan dalam tautan, dua kondisi membuat fungsi murni:
sumber
f(x) := x + 1
murni tetapi tentu saja tidak idempoten.Dalam linear aljabar linier, fungsi idempoten disebut proyeksi. Mungkin itu kata yang Anda cari. :)
http://en.wikipedia.org/wiki/Projection_(linear_algebra)
sumber
Kemungkinan lain adalah deterministik .
sumber