Kata benda yang sesuai untuk "efek samping-gratis"?

10

Untuk fungsi atau perhitungan, kami memiliki istilah seperti:

  • Deterministik - Determinisme
  • Murni - Kemurnian

Sekarang apa kata benda yang tepat untuk bebas efek samping ?

"Efek samping"? "Kebebasan efek samping"? "Tidak efektif dari sisi"?

terminology programming-languages berguling
sumber
4
Tidakkah ini seharusnya menggunakan Bahasa Inggris & Penggunaan ? ;) Dalam hal apa pun, dapatkah Anda memberikan konteks penggunaan Anda? Saya setuju bahwa menggunakan kata benda yang tepat seperti ini rasanya tidak benar. (Sebagai orang Jerman asli saya bersimpati; tetapi kita harus memaksa diri kita untuk tidak menerjemahkan monster semacam itu secara harfiah. Mereka juga hampir selalu jahat di Jerman, jika memungkinkan.)
Raphael
1
Apakah efek samping bebas dari murni?
Andrej Bauer
@ Raphael Saya juga berpikir untuk mengajukan pertanyaan di sana, tetapi karena saya bertanya tentang kata benda yang benar dalam konteks pemrograman, saya pikir ilmuwan komputer dapat memberi saya jawaban yang lebih baik.
mainkan
3
@AndrejBauer Saya berpikir bahwa murni baik sisi-efek gratis dan deterministik, sedangkan-efek samping bebas mungkin masih nondeterministic.
mainkan
@ Raphael Sebenarnya tidak ada konteks yang sangat spesifik. Saat ini saya berpikir tentang bagaimana fungsi deterministik, efek samping bebas dan murni saling berhubungan. Dan memikirkan konsep-konsep ini tanpa memiliki nama untuk masing-masingnya membuat saya gelisah. : D
rolve

Jawaban:

8

Aturan praktis yang baik untuk pertanyaan tata bahasa adalah, jika begitu rumit sehingga Anda perlu bertanya, lebih baik hanya mengulang kalimat itu. Misalnya, "Efek samping-kebebasan fungsi menjamin X" ditulis lebih sederhana dan elegan, "Karena fungsi ini bebas efek samping, X dijamin" atau bahkan, "Fungsi tidak memiliki efek samping, jadi X dijamin. "

Karena itu, kata kunci untuk artikel diharapkan menjadi frase kata benda sehingga akan menjadi tempat untuk menggunakan "kebebasan efek samping".

(Omong-omong, "non-side-effective" adalah kata sifat.)

David Richerby
sumber
(Ngomong-ngomong, "nir-efektif" adalah kata sifat.) Tangkapan bagus ... Dan terima kasih atas jawabannya. Tapi sayangnya, saya tidak butuh kata untuk kalimat saja.
mainkan
8

Tergantung pada konteksnya, "tidak adanya efek samping" mungkin istilah yang lebih mudah dibaca.

Raphael
sumber
7

Kata itu nullipotence , bentuk kata benda dari nullipotent . Dari definisi pertama tentang Wiktionary:

(Matematika, komputasi) Menjelaskan tindakan yang tidak memiliki efek samping . Pertanyaan biasanya nullipotent: mereka mengembalikan data yang berguna, tetapi jangan mengubah struktur data yang ditanyakan. Berbeda dengan idempoten.

(penekanan milikku)

http://en.wiktionary.org/wiki/nullipotent

Matthew Piziak
sumber
Wow, saya belum pernah mendengar istilah ini sebelumnya. Tampaknya tidak umum digunakan (Google melaporkan 16'300 hasil untuk "nullipotent" dan 1'580 hasil untuk "nullipotence" dan pemeriksa ejaan browser saya tidak mengetahui keduanya). Tapi saya mungkin hanya menggunakannya demi itu! Terima kasih.
mainkan
3
Saya seorang pakar domain dan saya pikir saya belum pernah melihat istilah itu digunakan. Ini bukan kata yang buruk, tetapi pasti harus didefinisikan sebelum digunakan.
Gilles 'SANGAT berhenti menjadi jahat'
3
Ini membantu saya untuk menyadari bahwa ada perbedaan antara nullpotentdan nilpotent.
Val
1
@Val, ya, saya pikir mereka berarti hal yang sama sampai saya belajar aljabar abstrak. Jika saya merasa sangat kejam, saya akan menjelaskannya dengan mengatakan bahwa sesuatu yang nullpotent tidak mempengaruhi apa pun, sedangkan sesuatu yang nilpotent tidak berdampak apa-apa. : P
Matthew Piziak
3

Saya mempelajari konsep ini sebagai transparansi referensial .

Namun, ada beberapa perdebatan mengenai apakah ini sebenarnya istilah yang bermakna, jadi jika Anda akan menggunakannya dalam sebuah makalah, Anda harus mendefinisikannya terlebih dahulu.

BlueRaja - Danny Pflughoeft
sumber
2
Transparansi referensial tidak sama dengan tidak adanya efek samping. Anda dapat memiliki bahasa yang berfungsi murni di mana makro membawa penangkapan nama yang tidak diinginkan ke kiri dan kanan, sehingga merusak transparansi referensial.
Kaz
@Kaz Berbicara tentang referensial, apakah Anda punya referensi untuk cerita makro itu?
mainkan
@rolve saya bisa mengambil pandangan terlalu sempit. Untuk yang kontras, lihat definisi proyek Tunes tentang transparansi referensial yang memang memiliki kaitan dengan kebebasan dari efek samping: tunes.org/wiki/referential_20transparency_20and_20state.html
Kaz
@rolve Saya sedang berpikir tentang transparansi referensial dalam konteks evaluasi: transformasi kode dapat memindahkan ekspresi, namun referensi dalam ekspresi tersebut berfungsi dengan baik tidak peduli apa. Misalnya sistem makro higienis dikatakan transparan secara referensi. Tidak ada yang "tidak sengaja buram" antara referensi dan apa yang dirujuk, seperti simbol dengan nama yang sama yang dimasukkan oleh kompiler dalam beberapa kode yang tidak terlihat.
Kaz
@ Ka: Seperti yang saya sebutkan dalam jawaban saya, ada beberapa definisi 'transparansi referensial' yang saling bertentangan
BlueRaja - Danny Pflughoeft
2

Kebebasan efek samping, adalah apa yang akan saya gunakan.

Dave Clarke
sumber
Sayangnya, ini memiliki interpretasi bahwa efek samping memiliki kebebasan, bukan karena situasinya bebas dari efek samping; yang jelas diungkapkan oleh "kebebasan dari efek samping".
Kaz
3
Pasti. Meskipun itu benar, saya telah melihatnya digunakan dalam latihan.
Dave Clarke
2

Jika menjalankan fungsi beberapa kali memiliki efek bersih yang sama pada sistem seperti menjalankannya sekali, fungsi idempoten dan memiliki idempotensi . Tidak tahu apakah itu yang Anda cari.

Manusia Timah
sumber
1
Terima kasih, itu konsep lain yang harus saya pikirkan. Mungkin bisa dikatakan bahwa idempoten adalah bentuk efek samping yang lebih lemah. Tapi bukan itu yang saya cari. (Dan bagaimanapun itu bukan kata benda; ;-))
rolve
1
Poin bagus - bentuk kata benda adalah idempotensi.
Tin Man
3
contoh fungsi idempoten chmod:: Anda dapat menjalankannya kembali beberapa kali, itu tidak akan melakukan lebih dari yang pertama kali (kecuali file berubah di antara ...). Ada banyak lainnya. Namun ini bukan "efek samping gratis" karena ia mengubah hal-hal dan dapat mencegah program lain untuk melakukan sesuatu juga, begitu izin berubah.
Olivier Dulac
1
Istilah ini mungkin yang paling penting dalam pemrograman web - jika Anda memodifikasi database (menambahkan pengguna baru, misalnya) dan Anda sedang berhadapan dengan jaringan yang tidak dapat diandalkan, Anda perlu memastikan bahwa pesan duplikat diterima oleh server jangan menyebabkan masalah yang tidak terduga.
Tin Man
2
Fungsi idempoten jelas tidak bebas efek samping. N pemanggilan fungsi idempoten memiliki efek samping keseluruhan yang sama dengan 1 pemanggilan. Fungsi tanpa efek adalah kasus khusus idempotensi.
Kaz
1

Anda hampir mendapatkannya dengan "kebebasan efek samping". Masalahnya adalah bahwa ini mungkin berarti bahwa efek sampingnya gratis (seperti dalam "kebebasan efek samping"). Agar jelas, Anda perlu "bebas dari efek samping". Dan perhatikan bagaimana "bebas" tidak berpasangan dengan "kebebasan"; baik "bebas dari sesuatu" dan "bebas dari sesuatu" pergi ke "kebebasan dari sesuatu".

Secara umum, Anda akan menemukan bahwa frase nomina majemuk yang kepalanya "kebebasan" secara naluriah dihindari oleh penutur asli bahasa Inggris, meskipun mereka secara tata bahasa. Misalnya "kebebasan berbicara" dan "kebebasan dari penindasan" tidak disebut "kebebasan berbicara" dan "kebebasan penindasan". Makna itu dapat dikerjakan dari konteks ("kebebasan berbicara" mungkin bukan "kebebasan dari ucapan", dan "kebebasan penindasan" bukan "kebebasan untuk menindas") tetapi bentuk-bentuknya sama sekali tidak merdu . Bahkan jika itu hanya karena tidak digunakan, itu memang seperti itu.

Makalah akademis dalam CS juga ditulis untuk audiens dunia yang mencakup penutur bahasa Inggris non-pribumi. Jika Anda mampu, maka tulislah seperti penutur asli Bahasa Inggris.

Kaz
sumber
Terima kasih atas penjelasannya, itu masuk akal bagi saya. Apakah ada bedanya jika saya mengeja kata dengan tanda hubung, seperti yang saya lakukan di posting asli: "efek samping-kebebasan"? Atau apakah itu hanya salah?
mainkan
Tanda hubung tidak mengubah artinya. Tentang tanda hubung, lihat di sini . Bagian tentang Compound Nouns berlaku.
Kaz
1
"Kebebasan efek samping" baik dan banyak digunakan. Tidak ada ambiguitas praktis karena, dari dua kemungkinan parsing, "kebebasan dari efek samping" adalah konsep yang sangat masuk akal yang sering dibahas, sementara "kebebasan efek samping" adalah omong kosong yang tidak pernah dibicarakan oleh siapa pun. Jika frasa memiliki makna yang jelas, orang tidak akan pergi mencari makna lain: mereka hanya akan melanjutkan membaca sisa kalimat.
David Richerby
1
@ DavidRicherby Terima kasih atas komentarnya, saya memikirkan hal yang sama. Masih bagus untuk memahami bahwa ada ambiguitas teoretis.
rolve
1
"Kebebasan efek samping" adalah ungkapan standar, idiomatik. Hanya ada satu hal yang bisa berarti; ergo , itulah artinya. Tata bahasa ada untuk melayani kita, bukan untuk memperbudak kita.
David Richerby
-1

Anda mungkin menginginkan " orthogonality ". Tampaknya pas dengan definisi Anda.

CamilB
sumber
Terima kasih atas jawabannya. Namun, saya pikir kata orthogonal hanya digunakan untuk konsep dan bukan untuk perhitungan atau fungsi. Namun demikian, benar bahwa dua fungsi bebas efek samping dapat dilihat sebagai ortogonal, karena mereka tidak saling mengganggu.
mainkan
Pemahaman saya adalah bahwa "ortogonalitas" juga digunakan untuk fungsi (saya pikir fungsi murni kadang-kadang disebut "ortogonal"). Tapi saya mungkin salah, karena "ortogonal" terasa seperti itu membutuhkan hal kedua, yaitu sesuatu yang ortogonal untuk sesuatu yang lain, jadi memang itu tidak umum seperti itu ...
CamilB
Tetapi mengapa Anda mencari istilah terpisah untuk fungsi tanpa efek samping? "Fungsi murni" berarti persis seperti itu: keduanya deterministik dan tanpa efek samping (kata Wikipedia).
CamilB
Itulah intinya: Saya ingin alasan tentang fungsi-fungsi yang bebas efek samping tetapi belum tentu deterministik. Murni sudah "terlalu banyak".
rolve
Saya mengerti sekarang. Ini akan menjadi latihan yang menarik untuk mencari fungsi efek samping yang bebas deterministik. Saya tidak bisa memikirkan apa pun, kecuali atom, yang dimodelkan dengan QM :) Bolehkah saya merekomendasikan thesaurus.com? Mungkin ada antonim dari kata benda yang terkait dengan efek samping di luar sana. Juga, mungkin kata yang Anda butuhkan adalah kata yang harus ditambahkan ke bahasa Inggris dari bahasa lain. Aku akan meninggalkanmu sekarang :)
CamilB