Currying
Z Wikipedii
Currying jest to operacja w funkcyjnych językach programowania polegająca na przekształceniu funkcji, która pobiera parę argumentów i zwraca wynik (f : (P × Q) → R) w funkcję, która po pobraniu argumentu zwraca funkcję, która pobiera argument i zwraca wynik (g : P → (Q → R)). Operacja odwrotna nosi nazwę uncurryingu.
Podstawą dla tej operacji jest ugruntowanie systemu typów w językach funkcyjnych na rachunku lambda z typami. Taki rachunek na mocy izomorfizmu Curry'ego-Howarda jest równoważny pewnej logice intuicjonistycznej, a zatem operacja ta odpowiada tautologii logiki intuicjonistycznej: ((p ∧ q) → r) ↔ (p → (q → r)).
Nazwa została zaproponowana przez Christophera Strachey'a w 1967 roku, jako nawiązanie do nazwiska logika Haskella Curry'ego.
| "Feralny" pilot: jak jestem chory, to jestem chory |
|
"Fakt": Każdy człowiek może zachorować. Dla mnie moje zdrowie jest ważniejsze od wszelkich innych rzeczy, które się dzieją na tym świecie - mówi gazecie Arkadiusz Protasiuk.
|
| Klaus: obecny kryzys można było przewidzieć |
|
Prezydent Czech Vaclav Klaus nie jest zaskoczony nadejściem światowego kryzysu ekonomicznego. Uważa, że symptomy zapowiadające jego nadejście były widoczne przynajmniej od kilku lat. Prezydent, który był gościem Salonu Politycznego w Programie Trzecim Polskiego Radia przyznaje jednak, że jest on zjawiskiem zupełnie nowym jeśli chodzi o skalę.
|
| Hall: zwiększymy wymiar pracy nauczycieli |
|
Minister edukacji narodowej Katarzyna Hall opowiedziała się za zwiększeniem obowiązkowego wymiaru pracy nauczycieli. Gość Programu Pierwszego Polskiego podkreśliła, że od września 2009 roku pensum zostanie podniesione będzie o jedną godzinę tygodniowo, a od września 2010 o kolejną.
|
| Wojna prezydent-premier - "PO wyjdzie z klinczu mocnym ciosem" |
|
- Rację w obecnym sporze ma premier, który nie może dać się pozbawić swych uprawnień - powiedział w RMF FM Jarosław Gowin, komentując spór pomiędzy prezydentem a premierem dotyczący wyjazdu polskiej delegacji na szczyt Rady Europejskiej do Brukseli.
|
| "Prezydent nie odda raz zdobytego przyczółka" |
|
- Prezydent ze swymi nieograniczonymi ambicjami chce zmienić konstytucyjny system rządów - ocenił w Pierwszym Programie Polskiego Radia Jerzy Szmajdziński, komentując spór pomiędzy prezydentem a premierem dotyczący wyjazdu na szczyt Rady Europejskiej w Brukseli.
|