Funktionsnamen finden (Lisp/Scheme/Haskell like)

[Sprachloser Dude (Gast)]

Mit welchen Suchbegriffen finde ich den gängigen Namen der in den 
folgenden Pseudo-C-Deklarationen mit drei Fragezeichen markierten 
Funktion?

list map (unary_function, list);
value fold (binary_function, list);
list ??? (binary_function, list, list);

Viele Dank

[Jim M. (turboj)]

filter?

Mir ist nicht so ganz klar was ???  machen soll.

[sid (Gast)]

ich glaub dem Dude ist nicht ganz klar was er überhaupt fragen will...

denn mit zwei Funktionsnamen einen dritten zu erraten ist vermutlich
so genau wie aus zwei gezogenen Lottokugeln die nächste vorherzusehen.

Mein erster gedanke war.. compare
weil zwei Listen als parameter übergeben werden..
und eine binary funktion mir vorhanden/nichtvorhanden suggeriert

Aber wie gesagt, das ist in etwa so zuverlässig wie besagte Lottokugel.


'sid

[Sprachloser Dude (Gast)]

Jim M. schrieb:
> Mir ist nicht so ganz klar was ???  machen soll.

sid schrieb:
> Mein erster gedanke war.. compare
> weil zwei Listen als parameter übergeben werden..
> und eine binary funktion mir vorhanden/nichtvorhanden suggeriert

Eine Verallgemeinerung von compare auf alle Typen soll es ungefähr sein, 
so dass man z. B. auch pow() übergeben könnte.

[wer (Gast)]

Und was genau soll diese Funktion dann liefern, wenn man z.B. pow() und 
2 Listen übergibt?

[Yalu X. (yalu) (Moderator)]

Für Haskell gibt es die Suchmaschine Hoogle, die Funktionen anhand ihrer
Signatur findet:

  https://hoogle.haskell.org/

Die Suche ist dabei tolerant, d.h. es werden auch Funktionen gefunden,
deren Signatur nur ungefähr mit der vorgegebenen übereinstimmt.

Deine drei Beispiele in Haskell-Signaturen übersetzt und in Hoogle
eingegeben liefern u.a. die folgenden Funktionen:

Signatur                              Funktionen
────────────────────────────────────────────────────────────────
(a -> b) -> [a] -> [b]                map

(a -> a -> a) -> [a] -> a             foldl1, foldl1' und foldr1

(a -> b -> c) -> [a] -> [b] -> [c]    zipWith, zipWithLazy
────────────────────────────────────────────────────────────────

[Sprachloser Dude (Gast)]

Yalu X. schrieb:
> [...] anhand ihrer
> Signatur findet [...]

Danke, genau sowas hab ich gesucht.