Matija Pretnar: Brezplačni izreki!

Povzetek: Obdelali bomo članek Philipa Wadlerja z naslovom Theorems for Free!, v katerem avtor pokaže, kako lahko polimorfni funkciji priredimo izrek, ki mu ta funkcija zadošča. Na primer, za funkcijo sort, ki uredi seznam elementov po velikosti, dobimo izrek "sort komutira z vsako strogo monotono funkcijo". Se pravi, da lahko najprej uporabimo strogo monotono funkcijo na elementih seznama in jih potem uredimo, ali obratno, v obeh primerih dobimo enak rezultat.

Vljudno vabljeni!