Částečná aplikace

Částečná aplikace  - schopnost v řadě programovacích jazyků opravit část argumentů vícemístné funkce a vytvořit další funkci nižší arity . Máte-li například trojitou funkci , můžete opravit ("svázat") první argument a vytvořit binární funkci tak, že pro libovolný .

V programátorské praxi se používá částečná aplikace z toho důvodu, že funkce získané fixací určitého počtu argumentů jsou často užitečné. Například mnoho programovacích jazyků má funkci nebo inkrementační operátor (což je fixace jednoho jako jeden z argumentů pro dvojité sčítání) nebo funkci obrácení hodnoty. Částečná aplikace může být implementována téměř ve všech programovacích jazycích, které mají schopnost definovat vícemístné funkce. Řada jazyků má specializované konstrukce pro částečnou aplikaci, například standardní knihovna C++ má funkci bind, která bere název funkce a argumenty jako vstup a vrací objekt funkce - výsledek částečné aplikace předané množiny argumentů na funkci.

V řadě funkčních programovacích jazyků , jako je ML a Haskell , jsou funkce standardně deklarovány v curried formě, to znamená, že koncept vícemístných funkcí je implementován pomocí unárních funkcí vyššího řádu ; za těchto podmínek je částečná aplikace (nazývaná v těchto jazycích sekce operátorů) jakékoli předání neúplného počtu argumentů [1] .

V programovacích jazycích s prvotřídními funkcemi můžete definovat curry, uncurrya papply, pro přímou implementaci currying a částečné aplikace (se vztahem mezi nimi takto: curry papply = curry). Tento přístup však může vést k delší době provádění programu kvůli vytváření dalších uzávěrů , zatímco Haskell umožňuje používat efektivnější triky [2] .

Poznámky

  1. ↑ Denis Moskvin. Kompoziční sekce jako zbytečný stylový nástroj  // Praxe funkcionálního programování. - 2010. - č. 4 . - S. 89-104 .
  2. ↑ Marlow - Peyton-Jones, 2004 .

Literatura