Momencik, trwa przetwarzanie danych   loading-animation

Jak powszechnie wiadomo, matematyczne funkcje pojawiają się w wersji dla

Jak powszechnie wiadomo, matematyczne funkcje pojawiają się w wersji dla "wielu zmiennych" - np.:

f(x, y) = x + y

Istnieje jednak alternatywna koncepcja przedstawienia takiego modelu, czyli tzw. currying.
Polega on na zastąpieniu funkcji n-argumentowej funkcją jednoargumentową, która przyjmuje pierwszy argument i zwraca nową funkcję "oczekującą" na pozostałe.
W powyższym przykładzie będzie to:

f(x) = g, gdzie g(y) = x + y

Użycie takiej funkcji wygląda następująco:

f(1)(3) = 4

Zapis ten został rozpowszechniony przez Haskella Curry'ego i nazwany tak na jego cześć. Mimo iż może on wydawać się dość nieintuicyjny i niewygodny, to ma bardzo szerokie zastosowanie w informatyce
 oraz rachunku lambda.
Zobacz następny

Komentarze

Momencik, trwa ładowanie komentarzy   ładowanie…