Volné objekty (v CS)

[desprit]

Ahoj, může mi někdo vysvětlit, co a k čemu jsou volné objekty? Definici (z moudré knihy a Wikipedie) znám, jde mi spíš o přízemní vysvětlení s příklady (třeba v nějakém programovacím jazyce). Vůbec si nedovedu představit, na co to je, a suchý výklad v knize mi moc neříká.

[Reklama]

[Aoidhghean]

Ahoj, může mi někdo vysvětlit, co a k čemu jsou volné objekty? Definici (z moudré knihy a Wikipedie) znám, jde mi spíš o přízemní vysvětlení s příklady (třeba v nějakém programovacím jazyce). Vůbec si nedovedu představit, na co to je, a suchý výklad v knize mi moc neříká.

Ve FP to jsou počáteční algebry, ze kterých se pak přes fold dá dělat něco užitečného, třeba vyhodnocování (interpretace) výrazů.