Apakah suatu fungsi segera tidak murni jika mengambil fungsi sebagai parameter?

Karena kemurnian parameter input tidak diketahui hingga runtime, apakah fungsi segera dianggap tidak murni jika mengambil fungsi sebagai parameter input?

Terkait: jika suatu fungsi menerapkan fungsi murni yang didefinisikan di luar fungsi, tetapi tidak dimasukkan sebagai parameter, apakah masih murni jika memenuhi kriteria tidak memiliki efek samping dan output hanya bergantung pada input?

Untuk konteks, saya sedang menulis kode fungsional dalam JavaScript.

Selama semua nilai yang digunakan dalam fungsi ditentukan hanya oleh parameternya, itu adalah fungsi murni.

Faset yang outputnya sama setiap kali untuk input yang sama dikendalikan oleh apakah parameternya murni. Jika Anda menganggap parameter (seperti argumen fungsi) juga murni, maka itu murni.

Dalam bahasa seperti Javascript di mana kemurnian tidak ditegakkan, ini berarti bahwa dimungkinkan untuk membuat fungsi yang murni memiliki perilaku tidak murni dengan menjalankan fungsi tidak murni yang dilewatkan sebagai parameter.

Ini secara efektif berarti bahwa untuk bahasa yang tidak menegakkan kemurnian (yaitu hampir semua), tidak mungkin untuk mendefinisikan fungsi murni yang memanggil fungsi yang dilewatkan sebagai argumen. Masih berguna untuk menulisnya semurni mungkin, dan untuk menanggapinya sebagai fungsi murni, tetapi Anda harus berhati-hati karena asumsi bahwa itu murni akan rusak jika Anda memberikan argumen yang salah.

Dalam pengalaman saya dalam praktik, ini biasanya bukan masalah besar - saya merasa jarang memiliki fungsi yang tidak murni digunakan sebagai argumen fungsi untuk fungsi murni.

Karena kemurnian parameter input tidak diketahui hingga runtime, apakah fungsi segera dianggap tidak murni jika mengambil fungsi sebagai parameter input?

Tidak. Contoh balik:

function pure(other_function) {
    return 1;
}

Tidak masalah apakah other_functionitu fungsi murni, fungsi tidak murni, atau tidak fungsi sama sekali. The purefungsi murni.

Contoh tandingan lainnya:

function identity(x) {
    return x;
}

Fungsi ini murni, meskipun xmerupakan fungsi yang tidak murni. identity(impure_function)akan selalu kembali impure_function, tidak peduli berapa kali Anda mengulangi panggilan. Tidak masalah apakah identity(impure_function)()selalu mengembalikan hal yang sama; nilai pengembalian nilai fungsi tidak mempengaruhi kemurniannya.

Secara umum, jika suatu fungsi mungkin memanggil fungsi itu disahkan sebagai argumen, itu tidak murni. Misalnya, suatu fungsi function call(f) {f();}tidak murni, karena meskipun tidak menyebutkan keadaan global atau yang bisa berubah, fmungkin sesuatu seperti alertitu yang menyebabkan efek samping yang terlihat.

Jika suatu fungsi mengambil fungsi sebagai argumen, tetapi tidak memanggilnya atau menyebabkannya dipanggil, maka itu bisa murni. Mungkin masih tidak murni jika melakukan beberapa hal tidak murni lainnya. Misalnya, function f(ignored_function) {alert('This isn't pure.');}tidak murni, meskipun tidak pernah memanggil ignored_function.

Karena kemurnian parameter input tidak diketahui hingga runtime, apakah fungsi segera dianggap tidak murni jika mengambil fungsi sebagai parameter input?

Secara teknis, ya, kecuali ada beberapa cara dalam bahasa Anda untuk menjamin bahwa fungsi input juga murni.

jika suatu fungsi menerapkan fungsi murni yang didefinisikan di luar fungsi, tetapi tidak dimasukkan sebagai parameter, apakah masih murni jika memenuhi kriteria tidak memiliki efek samping dan output hanya bergantung pada input?

Iya. Jadi mari kita fokus pada apa yang penting di sini. Memanggil fungsi murni atau tidak tidak berguna. Fungsi murni bermanfaat karena menghasilkan output yang sama untuk input apa pun dan tidak bergantung pada status atau memiliki efek samping adalah serangkaian properti yang sangat berguna. Ini berarti bahwa setelah fungsi Anda dijalankan, Anda dapat "mengingat" jawaban untuk input itu dan itu akan selalu benar. Anda juga tidak perlu menjalankan fungsi lagi untuk menghasilkan efek samping. Dan Anda dapat menjalankan fungsi itu secara paralel (atau rusak) dengan fungsi lain dan tahu bahwa mereka tidak akan memiliki interaksi tersembunyi yang berperilaku buruk.

Properti yang bermanfaat itu masih berlaku jika fungsi menggunakan fungsi read-only murni lainnya untuk melakukan tugasnya, terlepas dari bagaimana referensi itu.

Seperti yang dikatakan Telastyn: Secara teknis, ya, kecuali ada beberapa cara dalam bahasa Anda untuk menjamin bahwa fungsi input juga murni.

Itu bukan hipotesis, memang ada cara yang baik untuk menjamin ini. Setidaknya dalam bahasa yang sangat diketik.

Seperti fungsi ~ murni yang akan Anda tulis dalam JavaScript

function foo(f) {
   return f(1) + 2;
}

dapat diterjemahkan langsung ke Haskell:

foo :: (Int -> Int) -> Int
foo f = f 1 + 2

Sekarang, di JavaScript Anda bisa melakukan hal-hal jahat

js> foo (function(x) {console.log("muharhar"); return 0})
muharhar
2

Ini tidak mungkin di Haskell . Alasannya, sesuatu seperti efek samping console.log()harus selalu memiliki tipe hasil IO something, tidak hanya somethingsendirian.

GHCi> foo (\x -> print "muarhar" >> return 0)

<interactive>:7:12:
    Couldn't match expected type ‘Int’ with actual type ‘IO b0’
    In the expression: print "muarhar" >> return 0
    In the first argument of ‘foo’, namely
      ‘(\ x -> print "muarhar" >> return 0)’
    In the expression: foo (\ x -> print "muarhar" >> return 0)

Untuk ekspresi ini untuk mengetik centang, kita perlu memberikan footanda tangan jenis

foo :: (Int -> IO Int) -> Int

Tapi ternyata saya tidak bisa mengimplementasikannya lagi: karena fungsi argumen ada IOdi hasilnya, saya tidak bisa menggunakannya di dalamnya foo.

<interactive>:8:44:
    Couldn't match expected type ‘Int’ with actual type ‘IO Int’
    In the first argument of ‘(+)’, namely ‘f 1’
    In the expression: f 1 + 2

Satu-satunya cara saya bisa menggunakan IOtindakan fooadalah jika hasil foomemiliki tipe IO Intitu sendiri:

foo :: (Int -> IO Int) -> IO Int
foo f = do
   f1 <- f 1
   return (f1 + 2)

Tetapi pada titik ini jelas dari tanda tangan foobahwa itu juga bukan fungsi murni.

Tidak, bukan itu.

Jika fungsi yang diteruskan tidak murni DAN fungsi Anda memanggil fungsi yang lewat maka fungsi Anda akan dianggap tidak murni.

Relasi murni / tidak murni agak mirip sinkronisasi / async di JS. Anda dapat dengan bebas menggunakan kode murni dari yang tidak murni, tetapi tidak sebaliknya.