Překlad je opakem originálu

[xReav3r]

naucte-se-haskell/naucte-se-haskell/funkce-vyssiho-radu.php

Line 165 in a923447

Když si přečteme typovou deklaraci, můžeme říct, že vezme funkci, která požaduje nějaké <span class="fixed">a</span> a nějaké <span class="fixed">b</span> a vrátí funkci, která požaduje nějaké <span class="fixed">b</span> a nějaké <span class="fixed">a</span>. Druhý pár závorek je opravdu nezbytný, protože funkce jsou implicitně curryfikované a protože je šipka <span class="fixed">-&gt;</span> asociativní zprava. Typ <span class="fixed">(a -&gt; b -&gt; c) -&gt; (b -&gt; a -&gt; c)</span> je stejný jako <span class="fixed">(a -&gt; b -&gt; c) -&gt; (b -&gt; (a -&gt; c))</span>, což je totéž co <span class="fixed">(a -&gt; b -&gt; c) -&gt; b -&gt; a -&gt; c</span>. Napsali jsme, že <span class="fixed">g x y = f y x</span>. Pokud to je pravda, pak také platí, že <span class="fixed">f y x = g x y</span>, ne? Budeme-li to mít na paměti, můžeme funkci definovat dokonce ještě jednodušeji.

"Druhý pár závorek je opravdu nezbytný"
"the second pair of parentheses is really unnecessary"

I z kontextu je jasné, že závorky nejsou nezbytné.