sanchayanmaity/haskell-notebooks
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
21 commits 1 branch 0 tags 103 KiB
Jupyter Notebook 100%
Find a file
Sanchayan Maity ca5e28e244 Add another blog post for existential types
2023-03-20 21:03:04 +05:30
.gitignore IHaskell notebook on Isos in Optics 2020-01-12 11:14:06 +05:30
continuations.ipynb Add notebook for continuations 2020-04-21 20:33:03 +05:30
continuations.md Add links to various posts on CPS 2020-03-11 21:22:48 +05:30
contravariant.ipynb Add contravariant notebook 2020-03-21 17:53:55 +05:30
existential-types.md Add another blog post for existential types 2023-03-20 21:03:04 +05:30
FinalTagless.md Add a note on Final Tagless 2023-03-20 21:02:52 +05:30
folds.ipynb Add folds chapter 2020-01-26 21:23:28 +05:30
freemonad.ipynb freemonad: Update the Free monad notebook 2020-08-08 19:01:31 +05:30
isos.ipynb IHaskell notebook on Isos in Optics 2020-01-12 11:14:06 +05:30
lenses.ipynb Add third lenses chapter from Optics by Example 2020-01-12 19:51:02 +05:30
operators.ipynb Add operators chapter 2020-01-18 22:05:53 +05:30
optics.ipynb Add Optics 2020-01-12 12:08:34 +05:30
polymorphic-optics.ipynb Add polymorphic optics chapter 2020-01-13 21:20:52 +05:30
README.md README: Add link to the virtual lens meetup 2020-06-06 18:36:48 +05:30
traversal.ipynb Add traversals 2020-02-08 15:53:57 +05:30

README.md

About

This is a repository of Haskell Jupyter notebooks which will mostly notes on Optics and my exploration in Optics through various blog posts and also primarily driven by Chris Penner's book Optics by example.

Installing IHaskell

Sorry, I assume Nix here as it was just easy.

git clone https://github.com/gibiansky/IHaskell.git
nix-build release.nix --argstr compiler ghc865 --arg packages "haskellPackages: [ haskellPackages.lens ]"
result/bin/ihaskell-notebook

One can link the binary in local/bin to the above so that it can be run from anywhere.

My Lens talk

https://www.youtube.com/watch?v=uZLN2x3u2kg

References

namc.in/2018-03-26-lenses-part-1

https://deontologician.com/wiki/lenses/

https://www.schoolofhaskell.com/user/griba/easier_lenses_profunctor_based_with_mezzolens

https://www.schoolofhaskell.com/user/liyang/profunctors

https://bartoszmilewski.com/2015/07/13/from-lenses-to-yoneda-embedding/

https://github.com/hablapps/DontFearTheProfunctorOptics

https://twanvl.nl/blog/haskell/isomorphism-lenses

https://blog.jez.io/lens-intuition/

https://blog.jle.im/entry/lenses-products-prisms-sums.html

http://oleg.fi/gists/posts/2017-04-18-glassery.html

https://www.seas.upenn.edu/~cis194/fall16/lectures/14-lenses.html