Ich arbeite an meinen Folien zur Veranstaltung "Funktionale Programmierung". Aktuell beschäftige ich mich mit dem Thema der Definition generischer Funktionen in F#. Durch die Typinferenz ist die Nutzung generischer Funktionen in F# sehr einfach. Die Definition erfolgt in zwei unterschiedlichen Syntaxen (entweder F# spezifischer Syntax oder OCaml-Kompatibilitätsmodus).

Beispiel in F#-Syntax

type Option<'T> =
| Some of 'T
| None

und im OCaml-Modus

type 'T Option =
| Some of 'T
| None

Generische Funktionen kenne ich in dieser Weise nicht aus meiner Zeit mit Lisp und Scheme. Es könnte allerdings auch sein, dass ich das zu dem Zeitpunkt noch nicht erkannt habe, weil objektorientierte Programmierung gerade erst "erfunden" wurde und ich im Studium davon praktisch nichts gelernt habe (mal abgesehen von der Diplomarbeit von einem Freund, der diese in Smalltalk geschrieben hat).