มีฟังก์ชั่นfที่รับอาร์กิวเมนต์x ₁ , x ₂ , …, x _n

                                               - เช่น  f: X ₁ × X ₂ ×…× X _n → Y

- ความดีความชอบนิยามใหม่ของFเป็นฟังก์ชั่นการใช้อาร์กิวเมนต์เดียว₁ซึ่งแมปไปยังฟังก์ชั่นอื่น เทคนิคนี้มีประโยชน์สำหรับการใช้งานบางส่วนเช่นฟังก์ชั่นcurried ที่เราสามารถเขียนได้powexp = pow(e)

ตัวอย่าง

สมมติว่าเรามีฟังก์ชั่นfต่อไปนี้รับสามอาร์กิวเมนต์ ( f: X ₁ × X ₂ × X ₃ → Y ):

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

การปิดฟังก์ชั่นนี้ทำให้เรามีf_curry: X ₁ → (X ₂ → (X ₃ → Y))ถ้าเราจะเรียกฟังก์ชันนั้นสองครั้งf_curry(1)(2)เราจะได้รับฟังก์ชัน ( h) เทียบเท่ากับการคืนค่าต่อไปนี้:

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

ฟังก์ชั่น curried fสามารถเขียนได้เช่นนี้ (Python 3):

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

ลองออนไลน์!

ท้าทาย

ความท้าทายของคุณคือการทำหน้าที่ตามที่อธิบายไว้ข้างต้นนี่คือกฎ:

• อินพุตจะเป็นฟังก์ชันแบล็กบ็อกซ์ซึ่งมีอาร์กิวเมนต์อย่างน้อย 2 ข้อ
• ฟังก์ชั่นอินพุตจะมีจำนวนอาร์กิวเมนต์ที่คงที่เสมอ (ไม่เหมือนprintfหรือคล้ายกันหมายเหตุ: คุณต้องรองรับฟังก์ชั่นที่มีอาร์กิวเมนต์จำนวนใด ๆ ≥2)
• หากภาษาของคุณใช้ฟังก์ชัน curried ตามค่าเริ่มต้น (เช่น Haskell) คุณอาจคาดหวังว่าฟังก์ชันอินพุตจะถูกกำหนดเหนือN -tuples แทนที่จะเป็น "ฟังก์ชันลำดับสูงกว่า"
• คุณอาจใช้จำนวนอาร์กิวเมนต์เป็นอินพุต
• เอาต์พุตจะเท่ากับค่าอินพุตที่ curried ^*
• คุณอาจสันนิษฐานว่าฟังก์ชั่นการส่งออกจะเป็นเพียง:
  • เรียกว่ามีน้อยหรือเท่ากับจำนวนของอาร์กิวเมนต์ที่ฟังก์ชั่นการป้อนข้อมูลจะใช้เวลา
  • เรียกว่ามีข้อโต้แย้งของประเภทที่เหมาะสม

^{* นี้จะหมายถึงสำหรับการป้อนข้อมูลfที่มีNข้อโต้แย้งและเอาท์พุทhว่าสำหรับข้อโต้แย้งที่ถูกต้องทั้งหมดก็ถือได้ว่าa1,…,aNf(a1,a2,…,aN) == h(a1)(a2)…(aN)}

JavaScript (ES6), 35 ไบต์

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

ไอดริส , 204 ไบต์

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))

ลองออนไลน์!

เสียงเหมือนงานประเภทที่ขึ้นอยู่กับ! อาจจะ

Cเป็นฟังก์ชั่นประเภทแกง เมื่อระบุเวกเตอร์ประเภทa = [t ₁ , t ₂ , … t _n ]และฟังก์ชันประเภทT: HVect a → Typeจะส่งคืนชนิดใหม่:

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

ที่นี่HVectเป็นชนิดเวกเตอร์ที่ต่างกันจาก Idris Prelude - ชนิดของn -tuples ที่มีองค์ประกอบต่างกันnชนิด

คเป็นฟังก์ชั่นที่ใช้และTเป็นข้อโต้แย้งโดยปริยายแล้วแปลงuncurriedฟังก์ชั่นประเภท((ข: HVect ก) → T ข)เป็นแกงกะหรี่หนึ่งในประเภทC เสื้อf

( Cเพียงอธิบายสิ่งที่เราต้องการทำ; cทำได้จริง แต่เราไม่สามารถหลีกเลี่ยงได้โดยไม่กำหนดCเนื่องจาก Idris เรียกร้องให้คำจำกัดความระดับบนสุดทุกคนมีลายเซ็นประเภท)

ลิงก์ TIO แสดงตัวอย่างการใช้งาน หากเรากำหนดฟังก์ชันบน 3-tuples (Nat, Nat, String)ดังต่อไปนี้:

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

แล้วผลตอบแทนถัวเฉลี่ยผลเช่นเดียวกับuncurried [3, 4, "th"] c uncurried 3 4 "th"ไอดริสอ้างถึงข้อโต้แย้งa=[Nat, Nat, String]และT=const Stringสำหรับเราฉันเชื่อว่า

ฉันใช้รหัสนี้ในส่วนสำคัญนี้โดย timjb

Python 3 , 54 53 ไบต์

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

ลองออนไลน์!

R , 96 ไบต์

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))

ลองออนไลน์!

รุ่นก่อนหน้า (97 ไบต์)

-1 ไบต์ขอบคุณ @JayCE

มะพร้าวขนาด 54 ไบต์

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

ลองออนไลน์!

มะพร้าวขนาด 40 ไบต์

ท่าเรือเอริคเป็นคำตอบหลาม

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

ลองออนไลน์!

Python 2 , 60 ไบต์

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

ลองออนไลน์!

ส่วนท้ายเป็นเครื่องมือทดสอบที่ใช้ STDIN ด้วยวิธีต่อไปนี้ต่อบรรทัด:

1. ฟังก์ชั่นนั้นเอง
2. จำนวนอาร์กิวเมนต์ของฟังก์ชัน≥2
3. รายการข้อโต้แย้ง ( [a,b,...])

โปรดทราบว่าในขณะที่รายการอาร์กิวเมนต์จะได้รับเป็นอินพุตในเครื่องทดสอบ แต่ในความเป็นจริงแล้ว curried ที่เทียบเท่าจะได้รับการต่อเติมในรายการและรายการจะลดลงตามการเรียกใช้ฟังก์ชัน

รุ่น 55 ไบต์ที่คล้ายกันได้รับการจัดเตรียมโดยovs :

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

ลองออนไลน์!

กะหล่ำดอก , 84 ไบต์

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

ลองออนไลน์!

Perl 6 , 42 40 ไบต์

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

ลองออนไลน์!

-2 ไบต์ขอบคุณที่b2gills แบรดกิลเบิร์

Python 2 , 78 ไบต์

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

ลองออนไลน์!

ทูตขนาด 5 ไบต์

Curry

ลองออนไลน์!

เรียบง่ายในตัวส่วนใหญ่ไม่น่าทึ่ง แต่นี่เป็นรุ่นตั้งแต่ต้น:

ทูต, 35 ไบต์

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

คำอธิบาย:

{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 ไบต์

นี่คือแลมบ์ดา (curated hah) ที่รับฟังก์ชั่นและการนับจำนวนและส่งคืนฟังก์ชั่น curried

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;}}}

ลองใช้ออนไลน์

ประเภทการส่ง

ฟังก์ชั่นอินพุต

ฟังก์ชั่นอินพุตเป็นวัตถุที่มีวิธีการเดียว (ไม่รวมวิธีการสืบทอด) เป็นตัวแทนของฟังก์ชั่น โปรดทราบว่าไม่สามารถใช้ส่วนต่อประสานการทำงานมาตรฐานเป็นประเภทอินพุตได้เนื่องจากฟังก์ชั่นของ (เช่น) พารามิเตอร์ 3 ตัวต้องได้รับการสนับสนุน โปรดทราบด้วยว่าการแสดงออกของแลมบ์ดาที่ส่งไปยังjava.util.function.Functionประเภทที่เหมือนมาตรฐานอาจส่งผ่านได้ (วิธีการเดียวคือapply)

อาจมีการประกาศข้อยกเว้นที่ตรวจสอบบนฟังก์ชันอินพุต แต่อาจไม่ถูกส่งออกไป (เช่นจะไม่ถูกส่งไปยังผู้เรียกของฟังก์ชันเอาต์พุต) สิ่งนี้สันนิษฐานว่าเป็นที่ยอมรับได้เนื่องจากส่วนต่อประสานการทำงานของ Java ไม่อนุญาตให้มีข้อยกเว้นที่ตรวจสอบ (และการเผยแพร่สิ่งเหล่านี้จะป้องกันไม่ให้การส่งคืนFunction) ข้อยกเว้นรันไทม์ (กำหนดให้กับRuntimeExceptionหรือError) มีการเผยแพร่

ฟังก์ชั่นการส่งออก

java.util.function.Function<Object, Object>ผลลัพธ์ของการส่งเป็น ฉันถือว่าการส่งคืนที่ราบObjectด้วยapplyวิธีการ (เช่นในอินพุต) แต่จากนั้นการสะท้อนกลับจะต้องเรียกผลลัพธ์ซึ่งดูเหมือนไม่สะดวกพอที่จะไม่อนุญาตให้ทำได้ การแสดงออก

การใช้

เนื่องจากการส่งคืนฟังก์ชันจากObjectถึงObjectเอาต์พุตอาจถูกเรียกใช้โดยตรง (ด้วยapply) แต่ค่าส่งคืนระดับกลางที่ตามมาจะต้องถูกส่งไปยังประเภทที่เหมาะสม (เช่นjava.util.function.Function<Object, Object>) ก่อนที่จะถูกเรียกใช้ ศึกษา TIO สำหรับตัวอย่างการใช้งาน

โปรดทราบว่าในฟังก์ชั่น Java (เช่นวิธีการ) ไม่ใช่วัตถุชั้นหนึ่ง ดังนั้นไวยากรณ์ที่ใช้ในสัญลักษณ์แสดงผลของคำอธิบายการท้าทายจึงไม่มีความหมายใน Java มากกว่าf(a1, a2, a3)ที่เรามีf.apply(a1, a2, a3)และมากกว่าที่เรามีf(a1)(a2)(a3)f.apply(a1).apply(a2).apply(a3)

ข้อ จำกัด

เมื่อมีการใช้ผลลัพธ์ระดับกลาง (เพิ่มอาร์กิวเมนต์) ผลลัพธ์นั้นเป็นสำเนาที่กลายพันธุ์ของผลลัพธ์ดั้งเดิม ตัวอย่างเช่นในตัวอย่างนี้:

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));

บรรทัดที่ 4 จะพิมพ์4แต่บรรทัดที่ 5 จะล้มเหลวเนื่องจากเวลานั้นc2มีอาร์กิวเมนต์แล้ว2และ2(หมายเหตุด้วยc2 == c) สิ่งนี้ละเมิดวิญญาณของการแกง แต่เป็นไปตามข้อกำหนดเฉพาะที่ระบุไว้ในการท้าทาย

Ungolfed

ดู TIO สำหรับสำเนาที่ไม่ได้รับความนิยม

Julia 0.6 , 48 ไบต์

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

ลองออนไลน์!

คำตอบ Python ของพอร์ตของ @ EricTheOutgolfer

APL (Dyalog Classic) , 58 57 ไบต์

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

ลองออนไลน์!

การเรียกไวยากรณ์ (พร้อมฟังก์ชั่น curried g, อาร์กิวเมนต์x1ผ่านx3และจำนวนอาร์กิวเมนต์n):

((n x1 f g) x2) x3

ต้องใช้ ⎕IO←1