Skip to content

Instantly share code, notes, and snippets.

@sdiehl
Last active May 31, 2023 13:17
  • Star 15 You must be signed in to star a gist
  • Fork 3 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save sdiehl/5e0e25d4a35d25abd3408d542ccfdf45 to your computer and use it in GitHub Desktop.

Haskell Problems for a New Decade

[Haskell For a New Decade]

History of Haskell

[Wearing the hair shirt: a retrospective on Haskell (2003)]

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

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

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

Grin Compiler Framework

[GRIN Compiler · GitHub]

[grin-compiler/ghc-grin: GRIN backend for GHC]

[grin-compiler/idris-grin: GRIN backend for Idris]

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

Algebraic Effects

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

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

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

Editor Tooling

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

[hie files · Wiki · Glasgow Haskell Compiler / GHC]

[haskell/haskell-language-server]

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

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

Web Programming

[A batteries-included web framework built on purely functional programming technologies]

GHC

[https://ghc.dev/]

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

[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/arithmetic-circuits]

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

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

[Modern Cryptography with Haskell]

Machine Learning & Numerical Computing

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

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

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

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

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

[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://github.com/OpenTensors/ecosystem/blob/master/graph.png]

@derekmahar
Copy link

derekmahar commented Jun 28, 2020

Where may I find the slides from your talk Haskell for a New Decade for the Berlin Functional Programming Group?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment