#### Haskell Problems for a New Decade

[[Haskell For a New
Decade]](https://www.stephendiehl.com/posts/decade.html)

#### History of Haskell

[[Wearing the hair shirt: a retrospective on Haskell
(2003)]](https://www.microsoft.com/en-us/research/publication/wearing-hair-shirt-retrospective-haskell-2003/)

[[https://www.youtube.com/watch?v=06x8Wf2r2Mc]](https://www.youtube.com/watch?v=06x8Wf2r2Mc)

[[https://www.youtube.com/watch?v=re96UgMk6GQ]](https://www.youtube.com/watch?v=re96UgMk6GQ)

[[https://dl.acm.org/doi/pdf/10.1145/2384592.2384597]](https://dl.acm.org/doi/pdf/10.1145/2384592.2384597)

#### Grin Compiler Framework

[[GRIN Compiler · GitHub]](https://github.com/grin-compiler)

[[grin-compiler/ghc-grin: GRIN backend for
GHC]](https://github.com/grin-compiler/ghc-grin)

[[grin-compiler/idris-grin: GRIN backend for
Idris]](https://github.com/grin-compiler/idris-grin)

[[https://github.com/grin-compiler/ghc-wpc]](https://github.com/grin-compiler/ghc-wpc)

#### Algebraic Effects

[[https://hackage.haskell.org/package/polysemy]](https://hackage.haskell.org/package/polysemy)

[[https://hackage.haskell.org/package/fused-effects]](https://hackage.haskell.org/package/fused-effects)

[[http://dev.stephendiehl.com/hask/\#polysemy]](http://dev.stephendiehl.com/hask/#polysemy)

#### Editor Tooling

[[https://www.haskell.org/ghc/blog/20190626-HIEFiles.html]](https://www.haskell.org/ghc/blog/20190626-HIEFiles.html)

[[hie files · Wiki · Glasgow Haskell Compiler /
GHC]](https://gitlab.haskell.org/ghc/ghc/-/wikis/hie-files)

[[haskell/haskell-language-server]](https://github.com/haskell/haskell-language-server)

[[https://github.com/mpickering/hie-bios]](https://github.com/mpickering/hie-bios)

[[https://hackage.haskell.org/package/ghc-lib]](https://hackage.haskell.org/package/ghc-lib)

#### Web Programming

[[A batteries-included web framework built on purely functional
programming
technologies]](https://ihp.digitallyinduced.com/)

#### GHC

[[https://ghc.dev/]](https://ghc.dev/)

[[https://github.com/bergey/ghc-passes-graph]](https://github.com/bergey/ghc-passes-graph)

[[https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/core-to-core-pipeline]](https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/core-to-core-pipeline)

#### Computation Integrity Proofs

[[https://github.com/adjoint-io/zkp]](https://github.com/adjoint-io/zkp)

[[https://github.com/adjoint-io/arithmetic-circuits]](https://github.com/adjoint-io/arithmetic-circuits)

[[https://github.com/adjoint-io/pairing]](https://github.com/adjoint-io/pairing)

[[https://eprint.iacr.org/2016/260.pdf]](https://eprint.iacr.org/2016/260.pdf)

[[Modern Cryptography with
Haskell]](https://www.youtube.com/watch?v=BFA-mQEHNhc)

#### Machine Learning & Numerical Computing

[[https://github.com/google-research/dex-lang]](https://github.com/google-research/dex-lang)

[[https://google-research.github.io/dex-lang/tutorial.html]](https://google-research.github.io/dex-lang/tutorial.html)

[[https://github.com/pytorch/pytorch/wiki/PyTorch-IR]](https://github.com/pytorch/pytorch/wiki/PyTorch-IR)

[[https://pytorch.org/docs/stable/jit.html\#interpreting-graphs]](https://pytorch.org/docs/stable/jit.html#interpreting-graphs)

[[https://mlir.llvm.org/docs/LangRef/]](https://mlir.llvm.org/docs/LangRef/)

[[https://jax.readthedocs.io/en/latest/notebooks/autodiff\_cookbook.html\#JVPs-in-JAX-code]](https://jax.readthedocs.io/en/latest/notebooks/autodiff_cookbook.html#JVPs-in-JAX-code)

[[Add support for SIMD operations in the NCG (acd79558) · Commits ·
Glasgow Haskell Compiler /
GHC]](https://gitlab.haskell.org/ghc/ghc/commit/acd795583625401c5554f8e04ec7efca18814011)

[[https://github.com/OpenTensors/ecosystem/blob/master/graph.png]](https://github.com/OpenTensors/ecosystem/blob/master/graph.png)