diff options
| author | Eduardo Julian | 2020-10-31 20:26:37 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-31 20:26:37 -0400 |
| commit | 69272f598d831e89da83bdc8c9290d5607dfb14d (patch) | |
| tree | 4915f241708344209d4c35ccdc8b8e57bab68e4c /documentation/bookmark/Optics (eg lenses & prisms).md | |
| parent | eea741e9b4a47ae09832311d6d61f0bd6024f673 (diff) | |
Re-named the directory for my bookmarks to better reflect what they are.
Diffstat (limited to 'documentation/bookmark/Optics (eg lenses & prisms).md')
| -rw-r--r-- | documentation/bookmark/Optics (eg lenses & prisms).md | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/documentation/bookmark/Optics (eg lenses & prisms).md b/documentation/bookmark/Optics (eg lenses & prisms).md new file mode 100644 index 000000000..6f7acb5ca --- /dev/null +++ b/documentation/bookmark/Optics (eg lenses & prisms).md @@ -0,0 +1,24 @@ +# Reference + +1. [Profunctor optics, a categorical update](https://arxiv.org/abs/2001.07488) +1. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf) +1. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac +1. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html +1. [Jeremy Gibbons - Profunctor Optics Modular Data Accessors](https://www.youtube.com/watch?v=sfWzUMViP0M &&& http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf) +1. http://hackage.haskell.org/package/profunctors-3.3.0.1/docs/Data-Profunctor.html +1. https://github.com/purescript-contrib/purescript-profunctor-lenses +1. https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-Indexed.html +1. http://oleg.fi/gists/posts/2017-04-18-glassery.html +1. http://oleg.fi/gists/posts/2017-12-23-functor-optics.html +1. [Edward Kmett - Monad Transformer Lenses](https://www.youtube.com/watch?v=Bxcz23GOJqc) +1. [Brian McKenna - Productionisation of Functional Optics](https://www.youtube.com/watch?v=H01dw-BMmlE) +1. [YOW! Lambda Jam 2017 Ken Scambler - Lenses for the Masses – Introducing Goggles](https://www.youtube.com/watch?v=oIhdOqaKSEg) +1. https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/ +1. [Profunctor Optics: The Categorical Approach - Bartosz Milewski](https://www.youtube.com/watch?v=l1FCXUi6Vlw) +1. https://calmm-js.github.io/partial.lenses/ +1. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html +1. https://www.slideshare.net/davidoverton/comonad +1. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/ +1. https://blog.jle.im/entry/lenses-products-prisms-sums.html +1. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ + |