Spaces:
Running
Running
Merge pull request #91 from st--/patch-1
Browse files
functional_programming/README.md
CHANGED
@@ -38,7 +38,7 @@ uvx marimo edit <URL>
|
|
38 |
For example, run the `Functor` tutorial with
|
39 |
|
40 |
```bash
|
41 |
-
uvx marimo edit https://github.com/marimo-team/learn/blob/main/
|
42 |
```
|
43 |
|
44 |
You can also open notebooks in our online playground by appending `marimo.app/`
|
@@ -52,7 +52,7 @@ structure.
|
|
52 |
|
53 |
| Notebook | Description | References |
|
54 |
| ----------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|
55 |
-
| [05. Category and Functors](https://github.com/marimo-team/learn/blob/main/
|
56 |
|
57 |
**Authors.**
|
58 |
|
|
|
38 |
For example, run the `Functor` tutorial with
|
39 |
|
40 |
```bash
|
41 |
+
uvx marimo edit https://github.com/marimo-team/learn/blob/main/functional_programming/05_functors.py
|
42 |
```
|
43 |
|
44 |
You can also open notebooks in our online playground by appending `marimo.app/`
|
|
|
52 |
|
53 |
| Notebook | Description | References |
|
54 |
| ----------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|
55 |
+
| [05. Category and Functors](https://github.com/marimo-team/learn/blob/main/functional_programming/05_functors.py) | Learn why `len` is a _Functor_ from `list concatenation` to `integer addition`, how to _lift_ an ordinary function into a _computation context_, and how to write an _adapter_ between two categories. | - [The Trivial Monad](http://blog.sigfpe.com/2007/04/trivial-monad.html) <br> - [Haskellwiki. Category Theory](https://en.wikibooks.org/wiki/Haskell/Category_theory) <br> - [Haskellforall. The Category Design Pattern](https://www.haskellforall.com/2012/08/the-category-design-pattern.html) <br> - [Haskellforall. The Functor Design Pattern](https://www.haskellforall.com/2012/09/the-functor-design-pattern.html) <br> - [Haskellwiki. Functor](https://wiki.haskell.org/index.php?title=Functor) <br> - [Haskellwiki. Typeclassopedia#Functor](https://wiki.haskell.org/index.php?title=Typeclassopedia#Functor) <br> - [Haskellwiki. Typeclassopedia#Category](https://wiki.haskell.org/index.php?title=Typeclassopedia#Category) |
|
56 |
|
57 |
**Authors.**
|
58 |
|