X ₁ , x ₂ ,…, x _n bağımsız değişkenlerini alan bir f işlevine sahip olmak

                                               - yani.  f: X ₁ × X ₂ ×… × X _n → Y

- currying yeniden tanımlar f bir fonksiyonu olarak tek bir argüman alarak bir ₁ daha başka bir işleve eşleştirir. Bu teknik, örneğin powyazabileceğimiz kavisli bir işlevle kısmi uygulama için yararlıdır exp = pow(e).

Misal

Aşağıdaki f işlevini üç argümanla ele aldığımızı varsayarsak ( f: X ₁ × X ₂ × X ₃ → Y ):

def f(a,b,c):
  return a + b * c

Bu işlevi kürlemek bizi f_curry ile bırakır: X ₁ → (X ₂ → (X ₃ → Y)) , eğer şimdi bu işlevi iki kez çağırırsak , aşağıdakine eşdeğer f_curry(1)(2)bir işlev ( h) elde ederiz :

def h(c):
   return 1 + 2 * c

Curried işlevi fşu şekilde yazılabilir (Python 3):

def f_curry(a):
  def g_curry(b):
    def h(c):
      return a + b * c
    return h
  return g_curry

Çevrimiçi deneyin!

Meydan okuma

Zorluğunuz yukarıda açıklandığı gibi bir işlevi körüklemek olacaktır, işte kurallar:

• Giriş, en az 2 bağımsız değişken alan bir kara kutu işlevi olacaktır
• Giriş işlevi her zaman sabit sayıda argümana sahip olacaktır (aksine printf ya da benzer, not: herhangi bir sayıda bağımsız değişkeni olan işlevleri desteklemeniz gerekir ≥2)
• Dilinizde varsayılan olarak curried işlevler kullanılıyorsa (örn. Haskell), giriş işlevinin "üst düzey işlev" yerine N- kümeleri üzerinde tanımlanmasını bekleyebilirsiniz.
• Bağımsız değişken sayısını girdi olarak alabilirsiniz
• Çıktı, girdinin curried eşdeğeri olacaktır ^*
• Çıktı işlevinin yalnızca şu şekilde olacağını varsayabilirsiniz:
  • giriş işlevinin aldığı bağımsız değişken sayısına eşit veya daha az olarak çağrıldı
  • doğru türde argümanlar ile çağrıldı

^{* Bu f, Nbağımsız değişkenleri olan bir girdi ve hgeçerli tüm bağımsız değişkenler için geçerli olan bir çıktı anlamına a1,…,aNgelir f(a1,a2,…,aN) == h(a1)(a2)…(aN).}

JavaScript (ES6), 35 bayt

f=g=>g.length<2?g:a=>f(g.bind(f,a))

Idris , 204 bayt

import Data.HVect
C:(a:Vect n Type)->(HVect a->Type)->Type
C[]T=T[]
C(h::t)T=(x:h)->C t(T .(x::))
c:{a:Vect n Type}->{T:HVect a->Type}->((b:HVect a)->T b)->C a T
c{a=[]}f=f[]
c{a=h::t}f=\v=>c(\u=>f(v::u))

Çevrimiçi deneyin!

Bağımlı tipler için bir iş gibi geliyor! Pekala belki.

C bir köri tipi fonksiyonudur. A = [t ₁ , t ₂ ,… t _n ] tipinde bir vektör ve bir tip fonksiyonu verildiğinde T: HVect a → Tür yeni bir tür döndürür:

　　　　　　　　　　　(x ₁  : t ₁ ) → (x ₂  : t ₂ ) →… → (T [x ₁ , x ₂ ,… x _n ])

Burada, HVect olan heterojen vektör tipi tipi - İdris Prelude gelen n -tuples, elemanları vardır n farklı türleri.

c alan bir fonksiyonu olan bir ve T örtülü bir bağımsız değişken olarak ve daha sonra dönüştürür uncurried fonksiyonu fÇeşidi : (HVect a) → Tb (b) ' a doğru curried tipi bir C T .

( C basitçe ne yapmak istediğimizi tanımlar; c aslında yapar. Ama Idris her üst düzey tanımın bir tür imzası olmasını talep ettiği için C'yi tanımlamaktan kurtulamayız .)

TIO bağlantısı bir kullanım örneği verir. 3-tuples (Nat, Nat, String) üzerinde aşağıdaki gibi bir işlev tanımlarsak :

uncurried : HVect [Nat, Nat, String] -> String
uncurried [a, b, c] = show (a*a + b*b) ++ c

sonra uncurried [3, 4, "th"]ile aynı sonucu verir c uncurried 3 4 "th". İdris argümanları ihlal ediyor a=[Nat, Nat, String]ve T=const Stringbizim için inanıyorum.

Ben bu kodu timjb tarafından bu gist dayalı.

Python 3 , 54 53 bayt

c=lambda n,f,*x:lambda y:(f,c)[n>1](*1%n*(n-1,f)+x,y)

Çevrimiçi deneyin!

R , 96 bayt

y=function(f,n=length(formals(f)),p=list())function(x,u=c(p,x))`if`(n<2,do.call(f,u),y(f,n-1,u))

Çevrimiçi deneyin!

Önceki sürüm (97 bayt)

@JayCE sayesinde -1 bayt

Hindistan cevizi , 54 bayt

def c(f,*a):
 try:return f(*a)
 except:return c$(f,*a)

Çevrimiçi deneyin!

Hindistan cevizi , 40 bayt

Erik Limanı'nın Python cevabı .

def c(f,n,*a)=n and c$(f,n-1,*a)or f(*a)

Çevrimiçi deneyin!

Python 2 , 60 bayt

c=lambda f,n,l=[]:lambda a:n-1and c(f,n-1,l+[a])or f(*l+[a])

Çevrimiçi deneyin!

Altbilgi, STDIN'i satır başına aşağıdaki şekilde kullanan bir test kullanıcısıdır:

1. Fonksiyonun kendisi
2. İşlevin bağımsız değişkenlerinin sayısı, ≥2
3. Bağımsız değişkenlerin bir listesi ( [a,b,...])

Bağımsız değişkenlerin bir listesi test cihazında girdi olarak verilirken, gerçekte, curried eşdeğeri listeye eklenir ve listenin işlev çağrısı ile azaltılır.

Benzer bir 55 baytlık sürüm ovs tarafından nazikçe sağlanmıştır :

c=lambda f,n,*l:lambda a:n-1and c(f,n-1,*l,a)or f(*l,a)

Çevrimiçi deneyin!

Karnabahar , 84 bayt

(:= c(\($f$n(@a))(if$n(\($a)(call c(cat(list$f(-$n 1))@a(list$a))))else(call$f@a))))

Çevrimiçi deneyin!

Perl 6 , 42 40 bayt

my&c={.count>1??{c(.assuming($^a))}!!$_}

Çevrimiçi deneyin!

Brad Gilbert b2gills sayesinde -2 bayt .

Python 2 , 78 bayt

c=lambda f,*a:f.func_code.co_argcount>len(a)and(lambda x:c(f,*a+(x,)))or f(*a)

Çevrimiçi deneyin!

Ataşman , 5 bayt

Curry

Çevrimiçi deneyin!

Basit yerleşik, büyük ölçüde ilgisiz. Ancak, sıfırdan bir sürüm:

Ataşesi, 35 bayt

{If[#__2<#_,Fold[`&:,$'__],_@@__2]}

Açıklama:

{If[#__2<#_,Fold[`&:,$'__],_@@__2]}
{                                 }    lambda
 If[       ,              ,      ]     if
    #__2                                 the number of parameters after the first
        <#_                              is less than the arity of the first
            Fold[   ,    ]             then fold:
                 `&:                     right-function bonding
                     $                     over this function
                      '__                  paired with the rest of the parameters
                          ,            otherwise:
                           _@@           call the first parameter
                              __2        with the rest of them

Java 8, 46 + 318 = 364 bayt

Bu, bir işlevi ve bir argüman sayısını alan ve curried işlevi döndüren bir curried (hah) lambdadır.

import java.lang.reflect.*;import java.util.*;

f->p->new java.util.function.Function(){Object F=f;Method m=F.getClass().getDeclaredMethods()[0];int P=p;List a=new Stack();public Object apply(Object r){a.add(r);try{return a.size()<P?this:m.invoke(F,a.toArray());}catch(Throwable t){t=t.getCause();if(t instanceof Error)throw(Error)t;else throw(RuntimeException)t;}}}

Çevrimiçi Deneyin

Gönderme türü

Giriş işlevi

İşlev girdisi, işlevi temsil eden tek bir yönteme (devralınan yöntemler hariç) bir nesnedir. Standart bir fonksiyonel arayüzün giriş tipi olarak kullanılamayacağına dikkat edin, çünkü (3 gibi) parametrelerin işlevleri desteklenmelidir. Ayrıca, standart java.util.function.Functionbenzeri bir türe dökülen lambda ifadesinin geçirilebileceğini unutmayın (tek yöntemapply ).

İşaretli istisnalar giriş işlevinde bildirilebilir, ancak bunlar atılamaz (yani, çıkış işlevinin çağırana yayılmaz). Java'nın işlevsel arayüzleri kontrol edilen istisnalara izin vermediğinden (ve bunların yayılması gönderimin geri dönmesini önleyeceğinden) bunun kabul edilebilir olduğu varsayılır Function. Çalışma zamanı istisnaları ( RuntimeExceptionveya için atanabilir Error) yayılır.

Çıkış fonksiyonu

Gönderimin çıktısı a java.util.function.Function<Object, Object>. ObjectBir applyyöntemle (girişte olduğu gibi) bir düz döndürmeyi düşündüm , ancak daha sonra izin verilmeyecek kadar elverişsiz görünen sonucu çağırmak için yansıma gerekli olurdu - özellikle, tüm yolu çağırmak artık tek bir yerde mümkün olmayacaktı ifadesi.

kullanım

Sunulması ile ilgili bir fonksiyon verdiği için Objectiçin Object, çıkış (ile doğrudan çağrılan edilebilir apply), ancak daha sonra bir ara dönüş değerleri uygun bir türü (örn dökülmesi gerekir java.util.function.Function<Object, Object>çağrılmakta önce). Bazı kullanım örnekleri için TIO'ya başvurun.

Java işlevlerinde (yani yöntemler) birinci sınıf nesneler olmadığını unutmayın. Bu nedenle, meydan okuma açıklamasının çıkış mermisinde kullanılan sözdizimi Java'da anlamsızdır. Sahip f(a1, a2, a3)olduğumuzdan f.apply(a1, a2, a3)ziyade, sahip f(a1)(a2)(a3)olduğumuzdan çok f.apply(a1).apply(a2).apply(a3).

Sınırlamalar

Bir ara sonuç uygulandığında (bir argüman eklendi), sonuç aslında orijinal sonucun mutasyona uğramış bir kopyasıdır. Örneğin, bu snippet'te:

Function<Object, Function<Integer, Function>> submission = ...;
Function c = submission.apply((IntBinaryOperator) (a, b) -> a + b).apply(2);
Function c2 = (Function) c.apply(2);
System.out.println(c2.apply(2));
System.out.println(c2.apply(3));

satır 4 yazdırılır 4, ancak satır 5 başarısız olur, çünkü o zamana kadar c2zaten argümanlar tutar 2ve 2(bunu da unutmayın c2 == c). Bu, körelme ruhunu ihlal eder, ancak meydan okumada belirtilen özel gereksinimi karşılar.

Ungolfed

Kurtulmamış bir kopya için TIO'ya bakın.

Julia 0.6 , 48 bayt

c=(f,n,a=[])->n>1?x->c(f,n-1,[a;x]):x->f(a...,x)

Çevrimiçi deneyin!

@ EricTheOutgolfer'ın Python cevabının limanı.

APL (Dyalog Klasik) , 58 57 bayt

∇r←(a f g)x
:If a[1]=≢a
r←g 1↓a,x
:Else
r←(a,x)f g
:End
∇

Çevrimiçi deneyin!

(Curried fonksiyonu ile sözdizimi çağrılması g, argümanlar x1aracılığıyla x3ve argümanlar sayısı n):

((n x1 f g) x2) x3

gerektirir ⎕IO←1