Birinci Sınıf İşlev ve Yüksek Sıralı İşlev arasındaki herhangi bir fark

Birinci Sınıf İşlev ve Yüksek Sıralı İşlev arasında fark olup olmadığını merak ediyorum .

Bu iki wiki sayfasını okudum ve oldukça benzer görünüyorlar. Aynı konuşuyorlarsa, neden iki terminolojiye ihtiyaç duyuyorsunuz?

Google'ı denedim ama yararlı bir şey bulamadım.

Bir fark var. Bir dilin birinci sınıf işlevlere sahip olduğunu söylediğinizde, bu, dilin işlevleri değer olarak ele aldığı anlamına gelir - bir değişkene bir işlev atayabilir, onu başka bir yere aktarabilirsiniz vb. Yüksek dereceli işlevler, diğer işlevler üzerinde çalışan işlevlerdir. argüman olarak bir veya daha fazla işlevi alırlar ve ayrıca bir işlev döndürebilirler.

"Üst düzey" kavramı, matematiksel anlamda işlevler gibi genel olarak işlevlere uygulanabilir. "Birinci sınıf" konseptin yalnızca programlama dillerindeki işlevlerle ilgisi vardır. "Birinci sınıf işlev" gibi bir işleve atıfta bulunurken nadiren kullanılır. "Bir dilin birinci sınıf işlev desteğine sahip / yok" demek çok daha yaygındır.

Bu iki şey yakından ilişkilidir, çünkü birinci sınıf işlevlere sahip ve üst düzey işlevleri desteklemeyen bir dil ve tersine daha yüksek düzey işlevlere sahip ancak birinci sınıf işlev desteği olmayan bir dil hayal etmek zor.

Birinci sınıf fonksiyonlar , bir nesne gibi ele alınan (veya bir değişkene atanabilen) fonksiyonlardır.

Daha yüksek dereceli işlevler , parametre olarak en az bir birinci sınıf işlevi alan veya en az bir birinci sınıf işlev döndüren işlevlerdir.

Farklılar.

Birinci sınıf işlevler

Bir dilde aynı şekilde işlenen değerler "birinci sınıf" olarak adlandırılır. Veri yapılarında depolanabilir, bağımsız değişken olarak iletilebilir veya kontrol yapılarında kullanılabilirler.

Değerleri işlev türleriyle destekleyen ve bunları işlev dışı değerlerle aynı şekilde ele alan dillerin "birinci sınıf işlevlere" sahip olduğu söylenebilir.

Daha yüksek dereceli fonksiyonlar

Birinci sınıf işlevlere sahip olmanın sonuçlarından biri, bir işlevi başka bir işleve argüman olarak iletebilmeniz gerektiğidir. İkinci işlev artık "üst düzey" dir. Bağımsız değişken olarak bir işlevi alan bir işlevdir.

Kanonik örnek "harita" dır

map :: (a -> b) -> [a] -> [b]
map f []     = []
map f (x:xs) = f x : map f xs

Yani, bir işlevi ve bir diziyi alır ve her öğeye uygulanan işlevle yeni bir dizi döndürür.

İşlevsel diller - işlevlerin program oluşturmanın birincil aracı olduğu diller - tümünün birinci sınıf işlevleri vardır. Çoğunun daha yüksek düzey işlevleri de vardır (çok nadir istisnalar Excel gibi dillerdir, bu dillerin işlevsel olduğu söylenebilir, ancak üst düzey değildir).

Önceki yanıtlara ek olarak, birinci sınıf işlevlere sahip bir dilin otomatik olarak üst düzey işlevlerin ifadesini etkinleştirdiğini unutmayın (çünkü işlevleri başka herhangi bir değer gibi parametreler olarak geçirebilirsiniz).

Öte yandan, üst düzey işlevleri destekleyen, ancak birinci sınıf işlevler yapmayan (ve işlevler olan parametrelerin özel olarak ele alındığı ve "sıradan" değer parametrelerinden farklı olduğu) diller hayal edebilirsiniz.

Dolayısıyla, birinci sınıf işlevlerin varlığı (bir dil özelliği olarak), üst düzey işlevlerin varlığına işaret eder, ancak tersi değildir.

Birinci Sınıf işlevler şunları yapabilir:

• Değişkenlerde saklanmalıdır
• Bir işlevden döndürülür.
• Bağımsız değişkenler olarak başka bir işleve geçirilebilir.

Yüksek Sıralı İşlev , başka bir işlevi döndüren bir işlevdir.

Örneğin:

function highOrderFunc() {
  return function () {
    alert('hello');
  };
}

Birinci sınıf işlevler, diğer türlerle (değişkenler, mantıksal değerler, sayılar ...) yapabileceğiniz her şeyi ifade eder, bunu işlevlerle yapabilirsiniz.

Örneğin, değişkenlere atayın, iletin, anında oluşturun.