OOP organizira kodo okoli objektov, ki kombinirajo spremenjivo stanje z vedenjem; Funkcijsko programiranje (FP) organizira kodo okoli čistih funkcij in nespremenljivih podatkov, pri čemer obravnava izračun kot transformacijo podatkov. To so različne privzete predispozicije, ne nasprotja — večina sodobnih jezikov meša oba pristopa.
| OOP | FP | |
|---|---|---|
| Enota | Objekt (stanje + metode) | Funkcija |
| Stanje | Enkapsularirano, pogosto spremenjivo | Nespremenljivo; izogibati se stranskih učinkov |
| Polimorfizem | Subtipizacija / dinamični priklic | Funkcije višjega reda, generiki |
| Dodajanje tipa | Enostavno (nov razred) | Težje (dotakniti se vsake funkcije) |
| Dodajanje operacije | Težje (dotakniti se vsakega razreda) | Enostavno (nova funkcija) |
Ta zadnja vrstica je problem izraznosti: vsak paradigma olajša eno os sprememb in otežja drugo.
# OOP: data + behavior together, dispatch by type
class Circle:
def __init__(self, r): self.r = r
def area(self): return 3.14159 * self.r ** 2
# FP: data is dumb; behavior is a separate pure function
def area(shape):
match shape:
case ("circle", r): return 3.14159 * r ** 2
case ("square", s): return s * s
OOP → rich domains with identity & lifecycle (orders, sessions, UI widgets)
FP → data pipelines, transformations, concurrency (immutability avoids races)
Sodobni jeziki so večparadigmski (Scala, Kotlin, Python, sodoben Java/C#), zato je praktična veščina izbira pravega orodja za vsak problem, ne izbira pleme.
Poudarek FP na nespremenljivosti in čistih funkcijah je preoblikoval najboljše prakse OOP — nespremenljivi objekti vrednosti in vbrizgavanje odvisnosti vedenja so ideje FP, zdaj standard v dobrem OO oblikovanju.