Bir işlev parametre olarak bir işlev gerektiriyorsa derhal kirletilebilir mi?

Bir giriş parametresinin saflığı, çalışma zamanına kadar bilinmediği için, bir işlev bir giriş parametresi olarak işlev görürse hemen saf olmayan bir işlem olarak kabul edilir mi?

İlgili: Bir işlev, işlevin dışında tanımlanan ancak parametre olarak iletilmeyen saf bir işlev uygularsa, yan etkisi olmayan ölçütleri yerine getiriyorsa ve çıktı yalnızca girdiye bağlıysa hala saf mıdır?

Bağlam için, JavaScript'te işlevsel kod yazıyorum.

İşlevde kullanılan tüm değerler yalnızca parametreleri tarafından tanımlandığı sürece, saf bir işlevdir.

Aynı girdi için her seferinde çıkışın aynısı parametrelerin saf olup olmadığı kontrol edilir. Parametrelerin (işlev argümanı gibi) de saf olduğunu varsayarsanız, o zaman saf olur.

Saflığın uygulanmadığı Javascript gibi bir dilde, bu, başka türlü saf bir işlevin, parametre olarak geçirilen bir safsızlık işlevini çağırarak saf olmayan davranışa sahip olmasını mümkün kıldığı anlamına gelir.

Bu etkili bir şekilde, saflığı zorlamayan diller için (yani neredeyse hepsi), argümanlar olarak geçirilen işlevleri çağıran saf bir işlevi tanımlamanın imkansız olduğu anlamına gelir. Bunları olabildiğince saf yazmak ve onlar hakkında saf işlevler olarak düşünmek hala yararlıdır, ancak dikkatli olmanız gerekir, çünkü yanlış argümanları iletirseniz saf olduğu varsayımı kırılacaktır.

Uygulamadaki tecrübelerime göre, bu genellikle büyük bir sorun değildir - saf olmayan işlevlerin saf işlevlere işlev argümanları olarak kullanılmasının nadir olduğunu düşünüyorum.

Bir giriş parametresinin saflığı, çalışma zamanına kadar bilinmediği için, bir işlev bir giriş parametresi olarak işlev görürse hemen saf olmayan bir işlem olarak kabul edilir mi?

Hayır. Karşı örnek:

function pure(other_function) {
    return 1;
}

other_functionSaf bir işlev, saf olmayan bir işlev olup olmadığı önemli değildir. pureİşlev saftır.

Diğer karşı örnek:

function identity(x) {
    return x;
}

Bu işlev saf xolmayan bir işlev olsa bile saftır . aramayı kaç kez tekrarlarsanız yapın identity(impure_function)daima geri dönecektir impure_function. Her identity(impure_function)()zaman aynı şeyi döndürüp döndürmeyeceği önemli değildir ; bir işlevin dönüş değerinin dönüş değeri saflığını etkilemez.

Genel olarak, bir işlev bağımsız değişken olarak geçirilmiş bir işlevi çağırabiliyorsa, saf değildir. Örneğin, bir işlev function call(f) {f();}saf değildir, çünkü herhangi bir küresel veya değişebilir durumdan bahsetmese de, görünür yan etkilere neden olan bir fşey olabilir alert.

Bir işlev işlevleri bağımsız değişken olarak alır, ancak bunları çağırmaz veya çağrılmasına neden olmazsa, saf olabilir. Başka bir saf olmayan şey yaparsa yine de saf olmayabilir. Örneğin, function f(ignored_function) {alert('This isn't pure.');}asla çağırmasa bile saf değildir ignored_function.

Bir giriş parametresinin saflığı, çalışma zamanına kadar bilinmediği için, bir işlev bir giriş parametresi olarak işlev görürse hemen saf olmayan bir işlem olarak kabul edilir mi?

Teknik olarak, evet, dilinizde giriş işlevinin de saf olduğunu garanti etmenin bir yolu yoksa.

Bir işlev, işlev dışında tanımlanan ancak parametre olarak iletilmeyen saf bir işlev uygularsa, yan etkisi olmayan ölçütleri yerine getiriyorsa ve çıktı yalnızca girdiye bağlıysa hala saf mıdır?

Evet. Öyleyse burada önemli olan şeylere odaklanalım. Bir işlevi saf olarak adlandırmak ya da çağırmak kendi başına yararlı değildir. Saf işlevler yararlıdır, çünkü herhangi bir giriş için aynı çıktıyı üretmek ve duruma bağlı olmamak veya yan etkilere sahip olmak çok yararlı bir özellik kümesidir. Bu, fonksiyonunuz çalıştırıldıktan sonra, bu girişin cevabını "hatırlayabileceğiniz" anlamına gelir ve her zaman doğru olacaktır. Ayrıca, yan etkiler oluşturmak için işlevi tekrar çalıştırmanız gerekmez. Ve bu işlevi diğer işlevlerle paralel (ya da arızalı) olarak çalıştırabilir ve kötü davranan herhangi bir gizli etkileşime sahip olmayacaklarını bilirsiniz.

Bu faydalı özellikler, işlev, çalışmalarını yapmak için başka saf salt okunur işlevler kullanıyorsa, bunlara nasıl başvurduğundan bağımsız olarak kalır.

Telastyn'in dediği gibi: Teknik olarak, evet, giriş işlevinin de saf olduğunu garanti etmenin bir yolu yoksa.

Bu varsayımsal değil, bunu garanti etmenin gerçekten iyi yolları var. En azından kuvvetle yazılmış bir dilde.

JavaScript'te yazacağınız gibi saf bir işlev

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

doğrudan Haskell'e çevrilebilir:

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

Şimdi JavaScript'te kötü şeyler yapabilirsiniz

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

Haskell'de bu mümkün değil . Nedeni, yan etki gibi console.log()bir IO somethingşey sadece somethingyalnız değil, her zaman bir sonuç türüne sahip olmalıdır .

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)

Bu ifadenin daktiloyu kontrol etmesi fooiçin tür imzası vermemiz gerekir

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

Ama o zaman artık uygulayamadığım ortaya çıkıyor: çünkü argüman işlevi IOsonuçta olduğu için onu kullanamıyorum 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

Bir IOeylem kullanabilmenin tek yolu foosonucu footür IO Intkendisi ise:

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

Ancak bu noktada foo, bunun saf bir işlev olmadığı imzasından da anlaşılmaktadır .

Hayır öyle değil.

Geçilen işlev saf değilse VE işleviniz geçirilen işlevi çağırırsa, işleviniz saf olmayan olarak değerlendirilir.

Saf / impure ilişkisi JS'deki senkron / async'e benzer. Saf kodu saf olmayan bir şekilde özgürce kullanabilirsiniz, ancak tam tersi şekilde kullanamazsınız.