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

Conjugation

Conjugation of schönfinkeln (weak, auxiliary haben)

infinitive		schönfinkeln
present participle		schönfinkelnd
past participle		geschönfinkelt
auxiliary		haben
	indicative			subjunctive
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önfinkelte¹	wir schönfinkelten¹
	du schönfinkeltest	ihr schönfinkeltet		du schönfinkeltest¹	ihr schönfinkeltet¹
	er schönfinkelte	sie schönfinkelten		er schönfinkelte¹	sie schönfinkelten¹

imperative	schönfinkle (du) schönfinkel (du) schönfinkele (du)	schönfinkelt (ihr)

¹Rare except in very formal contexts; alternative in würde normally preferred.

Composed forms of schönfinkeln (weak, auxiliary haben)

perfect
indicative	ich habe geschönfinkelt	wir haben geschönfinkelt	subjunctive	ich habe geschönfinkelt	wir haben geschönfinkelt
	du hast geschönfinkelt	ihr habt geschönfinkelt		du habest geschönfinkelt	ihr habet geschönfinkelt
	er hat geschönfinkelt	sie haben geschönfinkelt		er habe geschönfinkelt	sie haben geschönfinkelt
pluperfect
indicative	ich hatte geschönfinkelt	wir hatten geschönfinkelt	subjunctive	ich hätte geschönfinkelt	wir hätten geschönfinkelt
	du hattest geschönfinkelt	ihr hattet geschönfinkelt		du hättest geschönfinkelt	ihr hättet geschönfinkelt
	er hatte geschönfinkelt	sie hatten geschönfinkelt		er hätte geschönfinkelt	sie hätten geschönfinkelt
future i
infinitive	schönfinkeln werden		subjunctive i	ich werde schönfinkeln	wir werden schönfinkeln
				du werdest schönfinkeln	ihr werdet schönfinkeln
				er werde schönfinkeln	sie werden schönfinkeln

indicative	ich werde schönfinkeln	wir werden schönfinkeln	subjunctive ii	ich würde schönfinkeln	wir würden schönfinkeln
	du wirst schönfinkeln	ihr werdet schönfinkeln		du würdest schönfinkeln	ihr würdet schönfinkeln
	er wird schönfinkeln	sie werden schönfinkeln		er würde schönfinkeln	sie würden schönfinkeln
future ii
infinitive	geschönfinkelt haben werden		subjunctive i	ich werde geschönfinkelt haben	wir werden geschönfinkelt haben
				du werdest geschönfinkelt haben	ihr werdet geschönfinkelt haben
				er werde geschönfinkelt haben	sie werden geschönfinkelt haben

indicative	ich werde geschönfinkelt haben	wir werden geschönfinkelt haben	subjunctive ii	ich würde geschönfinkelt haben	wir würden geschönfinkelt haben
	du wirst geschönfinkelt haben	ihr werdet geschönfinkelt haben		du würdest geschönfinkelt haben	ihr würdet geschönfinkelt haben
	er wird geschönfinkelt haben	sie werden geschönfinkelt haben		er würde geschönfinkelt haben	sie würden geschönfinkelt haben

Derived terms

Schönfinkeln