Lambda hesabında λx.λf.fx (tersi uygulama gibi) adı nedir? İlgili fonksiyonun programlamada standart bir adı var mı?

Lambda hesabında λx.λf.fx adı nedir?

İlgili işlevin Haskell gibi işlevsel programlama dillerinde standart bir adı var mı?

Nesne yönelimli programlamada, bir olağan isim bir yöntem yoktur fooböyle bir argüman olarak bir işlev alır x.foo(f)döner f(x)?

Haskell'de \x.\f.f xolduğu flip ($)kadar hangi $bölgesinde olduğu uygulamak Ben okurdum, ters geçerlidir .

Kabaca /programming/4090168/is-there-an-inverse-of-the-haskell-operator dayalı

Standart birleştiricileri kullanarak bu işlevi şu şekilde ifade edebilirsiniz:

C I

nerede

C f x y = (f y) x

Haskell'de olurdu

flip id

İşte idtürü uzmanlaşmış (a -> b) -> a -> bve fliptakas a -> bve a.

Ayrıca SKI hesabında da ifade edebilirsiniz :

S (K (S I)) K

Orijinal Alonzo Kilisesi'nin "Lambda dönüşümünün hesabı" nda, T tarafından bu birleştiriciyi ifade eder .

Kilise rakamları bağlamında buna exp denir . Bu dönem "uygulaması" için Church tarafından kullanılan "kısaltılmış" ifadesi ile eşleşen N dönem için M : "[ M ^K ]" "(açılımı NM )".

Programlamada benzer bir işlev için henüz standart bir isim duymadım.

Bu bazen pamukçuk birleştiricisi olarak adlandırılır ve Clojure'da buna ilk iplik makrosu denir . Birincil kullanımı, bir hesaplamayı yürüttükleri sırayla bir dizi zincirleme hesaplama olarak ifade etmenize izin vermektir. Örneğin, bir değer almak x, bir işleve aktarmak f, sonra sonuçları f(x)bir işleve aktarmak g, g(f(x))standart işlev kompozisyonu kullanarak (veya g (f x)örtük parantezlerle çalışıyorsanız.) Çok sayıda zincirleme işlev olduğunda bu garip olabilir, çünkü bunları yürütme biçimlerinin tersini okumak zorundasınız. Pamukçuk birleştiricisi şu şekilde tanımlarsak pamukçuk birleştiricisi bunu farklı şekilde ifade etmenizi sağlar:

T x f = f x
T x f g ... = T (T x f) g ...

Sonra ifade T x f g holur h (g (f x)).

(Racket dilinde daha fazla bilgi ve somut bir uygulama isteyenler için bu konuda bir blog yazısı var: Racket'te Pamukçuk Birleştiricisi )

Umarım sorunuzu doğru anlıyorum, ancak bunun ML dillerinde (ters) Boru Operatörü olarak bilindiğine inanıyorum.

[1; 2; 3] |> List.map sq // let it = [1; 4; 9]

İşlem sırasına yardımcı olan Ters Boru Operatörü de vardır.

printf "The value is.." <| 2 + 3 // let it = "The value is..5"

Bu yararlıdır, çünkü açılmamış form

printf "The value is.." 2 + 3 ;; error

"The value is.." 2tanımlı +operatör olmadığından printf değerlendirmeyi ve hata vermeyi denediğinden hata olur . Bu işi yapmak için parantez kullanın:

printf "The value is.." (2 + 3) // let it = "The value is..5"

Pratik kullanıma gelince, |>operatör inanılmaz derecede kullanışlıdır ve F #, LiveScript ve Elixir gibi ML ve ML'den ilham alan birçok dilin ekmek ve tereyağı. <|daha az yaygındır ve tipik olarak yalnızca okunabilirliği arttırdığında kullanılır.