Haskell

Notes on the Haskell programming language.

haskell

https://blog.sumtypeofway.com/posts/fast-iteration-with-haskell.html https://blog.josephmorag.com/posts/mcc1/ http://oleg.fi/gists/posts/2020-04-27-overloaded-local-do.html https://gilmi.me/blog/post/2020/04/28/consider-haskell https://tech.fpcomplete.com/blog/2016/11/covariance-contravariance https://tech.fpcomplete.com/haskell/syllabus https://www.reddit.com/r/haskell/comments/g1ajqe/towards%5Ffaster%5Fiteration%5Fin%5Findustrial%5Fhaskell/ https://www.reddit.com/r/ProgrammingLanguages/comments/fum1pw/haskell%5Fcheat%5Fsheet/ https://www.reddit.com/r/haskell/comments/x7fyt/smartcheck%5Fa%5Fbetter%5Fquickcheck%5Ffor%5Ftesting/ http://www.philipzucker.com/computational-category-theory-in-python-ii-numpy-for-finvect/ https://downloads.haskell.org/~ghc/7.0.1/docs/html/users%5Fguide/rewrite-rules.html https://www.youtube.com/watch?v=idU7GdlfP9Q&app=desktop software dev in haskell ‘painlessly’ https://github.com/graninas/software-design-in-haskell software developmetn in haskell http://hackage.haskell.org/package/gloss – 2d graphics library http://hackage.haskell.org/package/mwc-random-accelerate – pseudorandom numbers, accelerate arrays ?? https://mmhaskell.com/machine-learning http://hackage.haskell.org/package/nvvm – no idea, looks cool https://bartoszmilewski.com/2017/01/02/comonads/ – monads in reverse; co-categories http://book.realworldhaskell.org/ – learning haskell from the perspective of a software developer https://en.wikibooks.org/wiki/Haskell/Monad%5Ftransformers – transformers :: operating over monads https://hackage.haskell.org/package/haskeline-0.8.0.0/docs/System-Console-Haskeline.html – ui for interacting with the terminal in haskell https://www.youtube.com/watch?v=uxv62QQajx8 – implementing linear haskell https://www.youtube.com/watch?v=SjxP1NpoP2c – hasktorch ! https://www.youtube.com/watch?v=qWpD8t%5FAodk&t=945s – how they made hasktorch https://www.reddit.com/r/haskell/comments/gwdd8/io%5Fevaluates%5Fthe%5Fhaskell%5Fheap/ https://www.reddit.com/r/programming/comments/gwyq2/implementing%5Fthe%5Fhaskell%5Fheap%5Fin%5Fpython%5Fhint%5Fit/ https://www.reddit.com/r/haskell/comments/fz0ve/the%5Ftype%5Ftechnology%5Ftree%5Fmapping%5Ftype%5Fextensions/ https://www.reddit.com/r/haskell/comments/h40qr/unraveling%5Fthe%5Fmystery%5Fof%5Fthe%5Fio%5Fmonad/ https://www.reddit.com/r/haskell/comments/k5okh/lets%5Fplay%5Fa%5Fgame%5Fhow%5Fto%5Fimplement%5Ffunctions%5Ffrom/ https://www.reddit.com/r/haskell/comments/i29kd/a%5Fpattern%5Ffor%5Favoiding%5Fallocation%5Finside%5Ft5/ https://www.reddit.com/r/haskell/comments/hlsmv/an%5Finsufficiently%5Flazy%5Fmap%5Fthe%5Fdangers%5Fof/ https://www.reddit.com/r/haskell/comments/hcjmm/space%5Fleak%5Fzoo%5Fa%5Fcatalog%5Fof%5Fcommon%5Fspace%5Fleaks%5Fin/ https://www.reddit.com/r/haskell/comments/tzp7f/a%5Fgamified%5Ftutorial%5Fon%5Fthe%5Fsequent%5Fcalculus/ https://www.reddit.com/r/haskell/comments/12irlj/hpd3js%5Fan%5Finteractive%5Fheap%5Fprofile%5Fviewer/ https://www.reddit.com/r/haskell/comments/571i8r/galois%5Fis%5Fhiring/ https://www.reddit.com/r/haskell/comments/2b7odl/this%5Fjust%5Fin%5Ffrom%5Fmy%5Flocal%5Fghccabal%5Fcheckout%5Fre/ https://www.reddit.com/r/haskell/comments/5bkhth/request%5Ffor%5Fcomment%5Fspecifying%5Fversions%5Fsoname/ https://www.reddit.com/r/haskell/comments/5erk9u/levity%5Fpolymorphism%5Fnew%5Fpaper%5Ffrom%5Frichard%5Fand/ https://www.reddit.com/r/haskell/comments/5erk9u/levity%5Fpolymorphism%5Fnew%5Fpaper%5Ffrom%5Frichard%5Fand/ https://www.reddit.com/r/haskell/comments/5yxbh7/what%5Fbcbreaking%5Fchanges%5Fwould%5Fyou%5Fmake%5Fto/ https://www.reddit.com/r/adventofcode/comments/ek4652/2019%5Fday%5Fall%5Fhaskell%5Fmy%5Ffirst%5Fjourney%5Fthrough/ https://www.reddit.com/r/compsci/comments/g1rtjo/xpost%5Frhaskell%5Fi%5Fwrote%5Fan%5Fintroduction%5Fto%5Flambda/ https://www.simplehaskell.org/ https://alpacaaa.net/thoughts-on-haskell-2020/ https://www.fpcomplete.com/blog/2017/06/readert-design-pattern https://www.tweag.io/posts/2019-02-13-types-got-you.html https://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-Generics.html https://www.snoyman.com/blog/2019/11/boring-haskell-manifesto https://tech.fpcomplete.com/blog/2017/01/quickcheck https://www.parsonsmatt.org/2019/12/26/write%5Fjunior%5Fcode.html https://talks.diogocastro.com/the-haskell-epidemic/#0 http://www.cse.chalmers.se/%7Erjmh/QuickCheck/ https://www.reddit.com/r/haskell/comments/fz19kg/where%5Fcan%5Fi%5Ffind%5Fexamples%5Fof%5Fhaskells%5Ffeatures/ https://www.tweag.io/posts/2020-04-16-exceptions-in-haskell.html https://www.reddit.com/r/haskell/comments/g2y4m1/im%5Fstreaming%5Fmyself%5Fworking%5Fon%5Fghc%5Ftoday%5Fif%5Fyou/ https://ucsd-progsys.github.io/liquidhaskell-blog/2020/04/12/polymorphic-perplexion.lhs/ https://m.youtube.com/watch?feature=youtu.be&v=kIwd1D9m1gE https://gist.github.com/erebe/a8b0ffd1a27133bcf3b640b64e35f2fb https://www.reddit.com/r/haskell/comments/g0w8g5/can%5Fsomeone%5Fexplain%5Fthis%5Fkmett%5Fmagic/

setting up stack

wget https://get.haskellstack.org/stable/linux-x86_64-static.tar.gz
rm -rf linux-x86_64-static.tar.gz
export PATH=$PATH:./s

creating project:

stack new Other simple
stack setup
getting ncurses5-compat-libs:

ez web server in haskell client side apps in haskell

https://github.com/raviksharma/bartosz-basics-of-haskell basics of haskell tutorial https://www.reddit.com/r/haskell/comments/hz4sec/the%5Fgolden%5Frule%5Fof%5Fsoftware%5Fquality/ haskell and software quality

https://app.getpocket.com/read/3056979135 ghc with lorri https://getpocket.com/redirect?url=https%3A%2F%2Fwww.reddit.com%2Fr%2Fhaskell%2Fcomments%2Fhvt8h1%2Fjob%5Fwork%5Fwith%5Fme%5Fin%5Fthe%5Ffully%5Fremote%5Forg%5Fas%5Fa%2F uses haskell!

https://getpocket.com/redirect?url=https%3A%2F%2Fchris-martin.org%2F haskell dude https://getpocket.com/redirect?url=https%3A%2F%2Fchris-martin.org%2F2015%2Finstalling-nixos installing nixos

https://app.getpocket.com/read/2558647524 learning nixos easily

Proofs

things to remake in haskell (and maybe racket!)

IHP

‘batteries included haskell framework’ https://github.com/digitallyinduced/ihp https://github.com/bergmark/feed haskell package for RSS https://github.com/cdepillabout/termonad haskell terminal emulator https://github.com/AndrasKovacs/setoidtt implementations of systems with setoid type theory https://github.com/jaspervdj/websockets yea https://aaronguo1996.github.io/project/hoogleplus/ hoogle plus :: search for combinations of functions with hoogle! https://m.youtube.com/watch?v=FYTZkE5BZ-0 :: make music with haskell from scratch https://kowainik.github.io/posts/haskell-mini-patterns haskell mini patterns https://www.reddit.com/r/haskell/comments/hawgff/any%5Fdevs%5Fhere%5Finterested%5Fin%5Flearning%5Fplutus%5Fand/ https://blog.sigplan.org/2019/12/16/runtime-support-for-multicore-haskell-a-retrospective/ icebreaker fpga https://github.com/mikeizbicki/subhask rewrite of prelude to make numerics fun and fast https://mpickering.github.io//ide/posts/2020-08-04-measuring-memory-size.html measuring memory usage in haskell

web

https://github.com/JoeyEremondi/haskelm haskell to elm translation with TemplateHaskell

October 18, 2020