Haskell, O'Caml veya LISP'den çok önce, üst düzey işlevlerin akademik bir araştırma konusu olduğunu ve matematikte Schönfinkel (1967'de) ve Haskell Curry'in (1968'de) körleme gibi teknikleri zaten uyguladığını anladım, ancak herhangi bir programlama dilinde bulunmadan önceydi.
Wikipedia'ya göre şema, birinci sınıf vatandaşlar olarak uygun üst düzey işlevleri sunan ilk dildi, ancak orijinal fikri ilişkilendirebileceğimiz herhangi bir kişi var mı? Belki de 1930'larda lambda hesabını icat eden Alonzo Kilisesi? Daha spesifik olarak, çeşitli kitaplarda ve çevrimiçi kaynaklarda çeşitli açıklamalarda gördüğüm aşağıdaki tanımı kim yaptı?
Bir işlev bağımsız değişken olarak başka bir işlevi aldığında veya bir işlevi döndürdüğünde daha yüksek sırada kabul edilir. İşlevleri bağımsız değişken olarak veya dönüş türü olarak almayan işlevlere birinci dereceden işlev denir.