Pontirányú működés

A matematikában két azonos tartományú f és g függvény pontszerű művelete új függvényt alkot, amelynek értékei a megadott bináris művelet f és g értékeire történő alkalmazásának eredménye . Például a pontszerű összeadás egy halmaz függvényeit értékekkel ruházza fel egy lineáris tér szerkezetű mezőjében .

A pontszerű műveletet felfoghatjuk magasabb rendű függvényként is . Egy bináris művelet tekinthető az egyik argumentumnak. A Haskell lehetővé teszi, hogy a pontszerű műveletet a következőképpen írják fel :

\bfg -> \x -> (fx) "b" (gx)

ahol b egy bináris művelet, f , g operandusfüggvények.

Példák

Pontos kiegészítés:

Pontozott szorzás:

Lásd még