Skip to content

Update w09traverse.md - typos #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
jacekchrzaszcz wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Update w09traverse.md - typos #5

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions w09traverse.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,7 @@ class Foldable t where
foldl, foldl' :: (b -> a -> b) -> b -> t a -> b
{-# MINIMAL foldMap | foldr #-}
```
(jest więcej metod, tu najwazniejsze).
(jest więcej metod, tu najważniejsze).

Na przykład dla drzew

Expand Down Expand Up @@ -157,12 +157,12 @@ instance Foldable ETree where
foldl f v (Bin l r) = foldl f (foldl f v l) r
```

Dlaczego `foldl/foldr` wygladają w ten sposób?
Dlaczego `foldl/foldr` wyglądają w ten sposób?

A pamiętacie funkcję `flatten`?

### ~~The Force~~ Deforestation Awakens
pamiętacie funkcję `flatten`? A liniowe reverse?
pamiętacie funkcję `flatten`? A liniowe `reverse`?

``` haskell
-- revA xs ys = rev xs ++ ys
Expand Down Expand Up @@ -191,7 +191,7 @@ toList :: Foldable t => t a -> [a]
toList t = build (\ c n -> foldr c n t) -- = foldr (:) [] t
```

Funkcja `toList` używa `build`, aby ułatwić ewentualną zastosowanie reguły `foldr/build` (deforestacja).
Funkcja `toList` używa `build`, aby ułatwić ewentualne zastosowanie reguły `foldr/build` (deforestacja).

### Revenge of the ~~Sith~~ List

Expand All @@ -218,7 +218,7 @@ length :: Foldable t => t a -> Int

### ` {-# MINIMAL foldMap | foldr #-}`

klasa `Foldable` ma wiele funkcji, ale wystarczy zaimplementowac jedną, inne dają się wyrazić za jej pomocą
klasa `Foldable` ma wiele funkcji, ale wystarczy zaimplementować jedną, inne dają się wyrazić za jej pomocą

```haskell
fold = foldMap id
Expand All @@ -241,7 +241,7 @@ foldr f z t = appEndo (foldMap (Endo . f) t) z

Implementacja `foldr` wykorzystuje monoid **Endo**:

- każdy element jest mapowany na jego działanie ($x\mapsto f\, x$); np dla `f = (+)` element `x` przechodzi na `(x+)`
- każdy element jest mapowany na jego działanie ($x\mapsto f\ x$); np dla `f = (+)` element `x` przechodzi na `(x+)`
- `foldMap` sklada je w jedną funkcję (w monoidzie **Endo** działaniem jest złożenie)
- ta funkcja jest stosowana do wartości `z`

Expand Down Expand Up @@ -383,7 +383,7 @@ Lepszy kontekst (od dołu do góry)
``` haskell
data Cxt a = Top | L (Cxt a) (Tree a) | R (Tree a) (Cxt a)
```
Kontekst `L c r` oznacza "jesteśmy w lewym poddrzewie, nad nami jest c a prawym bratem jest r"
Kontekst `L c r` oznacza "jesteśmy w lewym poddrzewie, nad nami jest `c`, a prawym bratem jest `r`".

**Lokalizacja** (drzewo w kontekście)

Expand Down