Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| statnice:bakalar:b4b36fup [2025/05/27 19:16] – [Čisté funkce] prokop | statnice:bakalar:b4b36fup [2026/06/06 14:57] (current) – [Church‑Rosserova věta] knedl1k | ||
|---|---|---|---|
| Line 158: | Line 158: | ||
| === Strom === | === Strom === | ||
| + | |||
| Stromové struktury můžeme reprezentovat za pomocí vnořených seznamů, například uzel lze definovat jako seznam | Stromové struktury můžeme reprezentovat za pomocí vnořených seznamů, například uzel lze definovat jako seznam | ||
| `' | `' | ||
| Line 471: | Line 472: | ||
| 2. Normal‑order evaluace vždy skončí v normální formě, pokud existuje. | 2. Normal‑order evaluace vždy skončí v normální formě, pokud existuje. | ||
| - | === Y‑kombinátor === < | + | === Y‑kombinátor === |
| `Y` je **fixpoint combinator**, | `Y` je **fixpoint combinator**, | ||
| Line 502: | Line 503: | ||
| * *Strict/ | * *Strict/ | ||
| - | > Stručně: **`Y` přidá rekurzi** tím, že každé funkci vrátí její vlastní výsledek jako argument. | + | Stručně: **`Y` přidá rekurzi** tím, že každé funkci vrátí její vlastní výsledek jako argument. |
| - | > | + | |
| - | > </ | + | |
