Aplikační funktor - Applicative functor - Wikipedia

v Funkcionální programování, an aplikační funktor je mezilehlá struktura mezi funktory a monády. Aplikační funktory umožňují sekvenční výpočty funktorů (na rozdíl od obyčejných funktorů), ale neumožňují použití výsledků předchozích výpočtů v definici následných (na rozdíl od monad). Aplikační funktory jsou programovacím ekvivalentem laxní monoidální funktory s pevnost v tahu v teorie kategorií.

Aplikační funktory představili v roce 2007 Conor McBride a Ross Paterson ve své práci Functional Pearl: aplikační programování s efekty.[1]

Aplikační funktory se poprvé objevily jako funkce knihovny v Haskell, ale od té doby se rozšířily i do dalších jazyků, včetně Idrisi, Agda, OCaml, Scala a F#. Glasgow Haskell i Idris nyní nabízejí jazykové funkce navržené pro usnadnění programování s aplikačními funktory. V Haskellu jsou aplikační funktory implementovány v Použitelné typová třída.

Viz také

Reference

  1. ^ McBride, Conor; Paterson, Ross (01.01.2008). Msgstr "Aplikační programování s efekty". Journal of Functional Programming. 18 (1): 1–13. CiteSeerX  10.1.1.114.1555. doi:10.1017 / S0956796807006326. ISSN  1469-7653.