schönfinkeln
See also: Schönfinkeln
German
Etymology
After Moses Schönfinkel with the verbalizer -n.
Pronunciation
Audio (file)
Verb
schönfinkeln (weak, third-person singular present schönfinkelt, past tense schönfinkelte, past participle geschönfinkelt, auxiliary haben)
- (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
Conjugation of schönfinkeln (weak, auxiliary haben)
infinitive | schönfinkeln | ||||
---|---|---|---|---|---|
present participle | schönfinkelnd | ||||
past participle | geschönfinkelt | ||||
auxiliary | haben | ||||
indicative | subjunctive | ||||
singular | plural | singular | plural | ||
present | ich schönfinkle ich schönfinkele ich schönfinkel |
wir schönfinkeln | i | ich schönfinkele ich schönfinkle |
wir schönfinkeln |
du schönfinkelst | ihr schönfinkelt | du schönfinkelest du schönfinklest |
ihr schönfinkelet ihr schönfinklet | ||
er schönfinkelt | sie schönfinkeln | er schönfinkele er schönfinkle |
sie schönfinkeln | ||
preterite | ich schönfinkelte | wir schönfinkelten | ii | ich schönfinkelte1 | wir schönfinkelten1 |
du schönfinkeltest | ihr schönfinkeltet | du schönfinkeltest1 | ihr schönfinkeltet1 | ||
er schönfinkelte | sie schönfinkelten | er schönfinkelte1 | sie schönfinkelten1 | ||
imperative | schönfinkle (du) schönfinkel (du) schönfinkele (du) |
schönfinkelt (ihr) |
1Rare except in very formal contexts; alternative in würde normally preferred.
Composed forms of schönfinkeln (weak, auxiliary haben)
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.