Čistě funkcionální

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores

Čistě funkcionální je termín používaný k popsání počítačových algoritmů, datových struktur nebo programovacích jazyků, které nedovolují destruktivní modifikace. Následkem těchto omezení je vyloučení proměnných a místo toho se používají konstantní hodnoty. To znamená, že staré hodnoty, které byly editovatelné, jsou stále přístupné a mohou být upraveny následující modifikací.

Adresované seznamy

Jednoduché adresované seznamy jsou jako chleba a máslo datových struktur ve funkcionálních jazycích. V ML-odvozených jazycích a Haskellu, jsou čistě funkcionální protože jakmile je položka seznamu přiřazena nemůže být změněna, jenom zkopírována nebo zničena. +more Podívejte se na dva seznamy:.

xs = [0, 1, 2] ys = [3, 4, 5]

Ty by byly v paměti reprezentovány jako:

Soubor:Purely functional list before.svg

kde kolečko znamená položku v seznamu (šipka ven ukazuje další element seznamu a je to ukazatel na další položku seznamu). Zřetězením dvou seznamů:

zs = xs ++ ys

dostaneme následující strukturu paměti:

Soubor:Purely functional list after.svg

Všimněte si, že položky v seznamu xs byly zkopírovány, ale položky seznamu ys jsou sdíleny. Ve výsledku původní seznamy(xs a ys) přetrvávají a jsou nezměněny. +more Důvod ke kopírování je ten, že poslední položka v xs (která původně obsahuje dvojku) nemůže být změněna tak aby ukazovala na začátek ys, protože by to změnilo hodnotu xs.

Stromy

Představte si binární strom, používaný pro rychlé hledání, ve kterém každá položka má rekurzivní invariantu, kde podpoložky vlevo jsou menší a podpoložky vpravo jsou větší. Například seznam:

xs = [a, b, c, d, f, g, h]

může být reprezentován následujícím binárním vyhledávacím stromem:

Soubor:Purely functional tree before.svg

Funkce která vkládá data do binárního stromu a spravuje invarianty je:

fun insert (x, E) = T (E, x, E) | insert (x, s as T (a, y, b)) = if x y then T (a, y, insert (x, b)) else s

Když provedeme

ys = insert ("e", xs)

dostaneme

Soubor:Purely functional tree after.svg

Všimněte si dvou věcí: 1. původní strom xs přetrvává. +more 2. spousta běžných položek je sdílena mezi novým a starým stromem. Takové přetrvávání a sdílení se těžko spravuje bez nějakého druhu garbage collection (GC), k automatickému uvolnění položek, které nemají žádnou živou referenci, a proto je GC obvykle součástí funkcionálních programovacích jazyků.

Výhody a aplikace

Přetrvávání čistě funkcionálních datových struktur může být výhodou ve vývoji spousty aplikací, které pracují s více verzemi objektů.

Například řekněme že máme slovník na webové stránce, která používá červeno-černý strom k ukládání jeho seznamů slov, která jsou synonymy a pro která slova jsou synonymy. Strom má kolem milionu položek. +more Nyní řekněme, že si přejeme přidat funkci, která dovoluje každému uživateli přidávat jejích vlastní slova do jejich osobních slovníků. Jedna cesta jak to udělat je kopírovat strom pro každého uživatele a poté do nich přidávat jejich vlastní slova, ale to je nevhodné, protože každý uživatel používající tuto službu by potřeboval paměť pro alespoň milion položek. Navíc by to způsobilo procesní zpoždění při kopírování stromu.

Lepší přístup je uložit slova v čistě funkcionálním červeno-černém stromu. Poté jednoduše vezmeme originální verzi a vytvoříme nový strom založený na tom základním pro každou sadu vlastních slov. +more Protože tyto nové stromy sdílí velkou část struktury s hlavním stromem, místo potřebné pro každého uživatele na nejvýše 2klog2 n nebo zhruba 40 k položek, kde k reprezentuje počet vlastních slov.

Referenční průhlednost funkcionálních datových struktur rovněž usnadňuje analýzu a optimalizaci, a to formální i neformální.

Referenční cykly

Vzhledem k tomu, že každá hodnota v čistě funkcionálním výpočtu je vytvořena z existujících hodnot, zdá se nemožné vytvořit cyklus v referenčním grafu (graf který má hrany od objektů k objektům na který referují). Nicméně ve většině funkcionálních jazyků mohou být funkce definovány rekurzivně; tato možnost dovoluje strukturám použít funkcionální suspenzi. +more V líných jazycích jako je například Haskell jsou všechny datové struktury explicitně suspendovány; v těchto jazycích může být každá datová struktura rekurzivní. Některé jiné jazyky jako třeba Objective Caml, dovolují explicitní definici rekurzivních hodnot.

5 min read
Share this post:
Like it 8

Leave a Comment

Please, enter your name.
Please, provide a valid email address.
Please, enter your comment.
Enjoy this post? Join Cesko.wiki
Don’t forget to share it
Top