sanchayanmaity
/
haskell-notebooks
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 Commits
1 Branch
0 Tags
103 KiB
 
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Go to file
Sanchayan Maity 47f28a43fd
Update README 		11 hours ago
.gitignore IHaskell notebook on Isos in Optics 3 years ago
FinalTagless.md Add a note on Final Tagless 11 hours ago
README.md Update README 11 hours ago
continuations.ipynb Add notebook for continuations 3 years ago
continuations.md Add links to various posts on CPS 3 years ago
contravariant.ipynb Add contravariant notebook 3 years ago
existential-types.md Add another blog post for existential types 11 hours ago
folds.ipynb Add folds chapter 3 years ago
freemonad.ipynb freemonad: Update the Free monad notebook 3 years ago
isos.ipynb IHaskell notebook on Isos in Optics 3 years ago
lenses.ipynb Add third lenses chapter from Optics by Example 3 years ago
operators.ipynb Add operators chapter 3 years ago
optics.ipynb Add Optics 3 years ago
polymorphic-optics.ipynb Add polymorphic optics chapter 3 years ago
traversal.ipynb Add traversals 3 years ago

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