schönfinkeln

See also: Schönfinkeln

German

Etymology

After Moses Schönfinkel with the verbalizer -n.

Pronunciation

  • (file)

Verb

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), 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

Derived terms

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.