sanchayanmaity
/
haskell-notebooks
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
22 Commits 1 Branch 0 Tags 103 KiB
Jupyter Notebook 100%
Go to file
Sanchayan Maity 47f28a43fd Update README 2023-03-20 21:13:29 +05:30
.gitignore IHaskell notebook on Isos in Optics 2020-01-12 11:14:06 +05:30
FinalTagless.md Add a note on Final Tagless 2023-03-20 21:02:52 +05:30
README.md Update README 2023-03-20 21:13:29 +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
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
traversal.ipynb Add traversals 2020-02-08 15:53:57 +05:30

README.md

About

This is a repository of Haskell Jupyter notebooks and other notes in my Haskell journey.

Using IHaskell

Just use podman.

podman run --rm -p 8888:8888 -v $PWD:/home/jovyan/src gibiansky/ihaskell

Talks

Lens

Free Monads

References

https://namc.in/posts/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