schönfinkeln

From Wiktionary, the free dictionary
Jump to navigation Jump to search
See also: Schönfinkeln

German[edit]

Etymology[edit]

After Moses Schönfinkel with the verbalizer -n.

Pronunciation[edit]

  • (file)

Verb[edit]

schönfinkeln (weak, third-person singular present schönfinkelt, past tense schönfinkelte, past participle geschönfinkelt, auxiliary haben)

  1. (transitive, rare, computing) to curry (to perform currying on)
    Synonym: curryen
    • 2007 January 16, Herbert Klaeren, Michael Sperber, Die Macht der Abstraktion: Einführung in die Programmierung (Lehrbuch Informatik)‎[1], Springer-Verlag, →ISBN, page 238:
      Die Funktionen im λ-Kalkül sind auf einen Parameter beschränkt. Dies ist keine wirkliche Einschränkung: Funktionen mit mehreren Parametern werden geschönfinkelt, um aus ihnen mehrstufige Funktionen mit jeweils einem Parameter zu machen, vgl. Abschnitt 8.5.
      (please add an English translation of this quotation)

Conjugation[edit]

Derived terms[edit]