Ha egy függvény implementációja típus paramétert tartalmaz, akkor ezt a függvényt generikus függvénynek nevezzük. A típus paraméter egy mechanizmust biztosít a paraméter és a visszatérési típus kapcsolatának kifejezésére. A függvény implementációjának szignatúrájában deklarált paraméterek benne vannak a szignatúra és függvény implementációjának hatókörében. Egy példa generikus függvényre:
Tudjuk, hogy az ’x’ és az ’y’ típusa a megszorított Comparable