- 2018-12-26 https://thomashoneyman.com/guides/real-world-halogen/
- 2018-12-28 https://bartoszmilewski.com/2018/12/20/open-season-on-hylomorphisms/
- 2018-12-31 https://blog.jle.im/entry/mtl-is-not-a-monad-transformer-library.html
- 2019-01-08 https://www.parsonsmatt.org/2017/10/11/type_safety_back_and_forth.html
- 2019-01-10 https://typelevel.org/cats-effect/tutorial/tutorial.html
- 2019-01-13 http://cvlad.info/haskell/
- 2019-01-15
- 2019-01-22 https://typelevel.org/blog/2018/08/25/http4s-error-handling-mtl.html
- 2019-01-23 https://typelevel.org/blog/2018/11/28/http4s-error-handling-mtl-2.html
- 2019-01-31 https://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/
- 2019-02-07 https://reasonablypolymorphic.com/blog/writing-technical-posts/
- 2019-03-10 https://blog.acolyer.org/2015/08/18/the-dataflow-model-a-practical-approach-to-balancing-correctness-latency-and-cost-in-massive-scale-unbounded-out-of-order-data-processing/
- 2019-03-29 https://compiletoi.net/garcon-theres-a-catamorphism-in-my-python/
- 2019-03-31 https://matthewbauer.us/blog/static-nix.html
- 2019-04-04 https://metarabbit.wordpress.com/2019/03/12/nixml-nix-yaml-for-easy-reproducible-environments/
- 2019-06-03 https://reasonablypolymorphic.com/blog/prospecting-free-monads/
- 2019-06-25 https://reasonablypolymorphic.com/blog/typeholes/
- 2019-07-03 https://websitebeaver.com/insanely-simple-webrtc-video-chat-using-firebase-with-codepen-demo
- 2019-07-15 https://www.parsonsmatt.org/2019/03/22/return_a_function_to_avoid_effects.html
- 2019-07-16 https://chapeau.freevariable.com/2018/06/writing-generic-functions-for-rdds.html
- 2019-07-17
- 2019-07-18
- 2019-08-01
- 2019-08-18 https://tpolecat.github.io/2015/04/29/f-bounds.html
- 2019-08-19 cats typeclasses doc
- 2019-08-21
- 2019-08-27 https://thomashoneyman.com/articles/replace-react-components-with-purescript/
- 2019-08-30 https://thomashoneyman.com/guides/real-world-halogen/
- 2019-09-11 https://milessabin.com/blog/2012/04/27/shapeless-polymorphic-function-values-1/
- 2019-09-12
- 2019-09-27
- 2019-11-12 https://leanpub.com/pfhais
- 2019-11-28
- 2020-01-21
- 2020-01-22
- 2020-01-23
- 2020-02-01
- 2020-02-02
- 2020-03-08
- 2018-10-24 John De Goes - ZIO Schedule: Conquering Flakiness and Recurrence with Pure Functional Programming
- 2018-10-26 The Making of an IO - Daniel Spiewak
- 2018-10-27
- 2018-10-30 Klarna Tech Talks: Compose your program flow with Stream - Fabio Labella
- 2018-11-11 Functional Programming is Terrible
- 2018-11-18 Scala Italy 2018 - Fabio Labella - Shared state in pure FP: when a state monad won’t do
- 2018-11-24 Pure Functional Database Programming with Fixpoint Types—Rob Norris
- 2018-11-29 scale.bythebay.io: Rob Norris, Functional Programming with Effects
- 2018-12-09 Lambda World 2018 - Testing in the world of Functional Programming - Luka Jacobowitz
- 2019-01-01
- https://skillsmatter.com/skillscasts/13292-lightning-talk-mtl-in-15-minutes
- https://skillsmatter.com/skillscasts/12634-cats-effect-tagless-final-and-beyond
- Monad Transformer State - Michael Snoyman
- What Referential Transparency can do for you - Luka Jacobowitz
- Matt Parsons - Exceptional Haskell - λC 2018
- 2019-01-03 Next Level MTL - George Wilson - BFPG 2016-06
- 2019-01-05 LambdaConf 2015 - Finally Tagless DSLs and MTL Joseph Abrahamson
- 2019-01-06 YOW! 2014 Edward Kmett - Stop Treading Water: Learning to Learn #YOW
- 2019-01-10 https://monix.io/blog/2018/11/07/tutorial-bracket.html
- 2019-01-11
- 2019-01-12
- 2019-01-14 PS Unscripted - Code Reuse in PS: Fns, Classes, and Interpreters
- 2019-01-15 Selfish Purity: How Functional Programming Makes Every-Day Jobs Easier
- 2019-01-22 Lenses: A Functional Imperative
- 2019-01-26
- 2019-01-31 Omer Van Kloeten - Type Your Business
- 2019-02-09 The Tragedy of systemd
- 2019-02-10 Daniel Spiewak - May Your Data Ever Be Coherent
- 2019-03-08 Scala World 2017 Closing Remarks
- 2019-03-10 No one at Google uses MapReduce anymore - Cloud Dataflow explained for dummies
- 2019-03-31 John A. De Goes at #ScalaUA - Thinking Functionally
- 2019-04-04
- 2019-04-06 Jon Pretty at #ScalaUA - How I rebuilt the Typelevel Ecosystem with Fury
- 2019-04-09 Exploring Java Perf FlameGraphs - Nitsan Wakart
- 2019-04-10 USENIX ATC '17: Visualizing Performance with Flame Graphs
- 2019-05-01
- 2019-05-26 THE LAST FRONTIER AND BEYOND - Valentin Kasas | Scalar 2019
- 2019-06-02 Julien Tournay - Better, faster, stronger Coder. Improving data processing @Spotify
- 2019-06-19 Metals: rich code editing for Scala in VS Code, Vim, Emacs and beyond
- 2019-06-22
- 2019-06-23 Pure Functional Database Programming‚ without JDBC
- 2019-06-27
- 2019-06-28
- 2019-07-03
- 2019-07-13
- 2019-07-17
- 2019-07-20
- 2019-07-24
- 2019-07-25
- 2019-08-02
- 2019-08-17
- 2019-08-18
- 2019-09-15 "Building Haskell Programs with Fused Effects" by Patrick Thomson
- 2019-09-19 How to Build a Functional API—Julien Truffaut
- 2019-10-01 Daniel Beskin—Compile-time Logic Programming in Scala: what for?
- 2019-10-08 Property-Based Testing The Ugly Parts: Case Studies from Komposition - Oskar Wickström
- 2019-10-12 Gabriel Gonzalez: Dhall - Programmable configuration language
- 2019-10-14
- 2019-11-09 Lambda World 2019 - A categorical view of computational effects - Emily Riehl
- 2019-11-11 Lambda World 2019 - Painless software development with Haskell - Paweł Szulc
- 2019-11-18 Scale By The Bay 2019: Jeremy Smith & Jonathan Indig, Solving the Scala Notebook Experience
- 2020-02-01 Chris Penner - Comonads by Example 1/4
- 2020-02-02 An Introduction to Dhall - Scott Murphy: OKC FP
- 2020-03-20 Pawel Szulc - Formal verification applied (with TLA+)
- 2020-03-22 Leslie Lamport: Thinking Above the Code
- https://www.fpcomplete.com/blog/2017/06/tale-of-two-brackets
- https://www.fpcomplete.com/blog/2017/06/readert-design-pattern
- https://www.fpcomplete.com/blog/2017/07/the-rio-monad
- https://www.fpcomplete.com/blog/2017/07/announcing-new-unliftio-library
- https://www.parsonsmatt.org/2018/03/22/three_layer_haskell_cake.html
- https://www.tweag.io/posts/2018-10-04-capability.html
- https://ocharles.org.uk/posts/2016-01-26-transformers-free-monads-mtl-laws.html
- https://lexi-lambda.github.io/blog/2017/04/28/lifts-for-free-making-mtl-typeclasses-derivable/
- https://recursion-schemes-by-example.chrispenner.ca/
- https://blog.sumtypeofway.com/an-introduction-to-recursion-schemes/
- https://mpickering.github.io/posts/2018-09-12-funflow-nix.html
- https://mpickering.github.io/posts/2018-09-19-nix-artefacts.html
- https://www.parsonsmatt.org/2017/09/22/what_does_free_buy_us.html
- https://www.parsonsmatt.org/2015/11/15/template_haskell.html
- https://github.com/FintanH/blogs/blob/master/advent-of-schemes.md
- http://www.tpflug.me/2019/01/07/post-christmas-advent-pt1/
- https://github.com/vil1/recursion-schemes-cookbook
- https://medium.com/fuzzy-sharp/purescript-and-haskell-at-lumi-7e8e2b16fb13
- http://www.haskellforall.com/2012/05/scrap-your-type-classes.html
- https://chris-martin.org/2017/interfaces-and-records
- https://mpickering.github.io/posts/2018-03-20-recordsvstypeclasses.html
- https://blog.adamretter.org.uk/haskell-io-and-xpath/
- https://mmhaskell.com/blog/2019/1/28/why-haskell-iv-typeclasses-vs-inheritance
- https://medium.com/fuzzy-sharp/building-a-type-safe-embedded-dsl-for-form-components-with-validation-e7ffaaf537e4
- https://harry.garrood.me/blog/down-with-show-part-1/
- https://blog.scalac.io/optics-beyond-lenses-with-monocle.html
- https://mmhaskell.com/blog/2018/8/27/taking-a-look-back-my-mistakes-in-learning-haskell
- http://reduction.io/essays/rosetta-haskell.html
- http://magnus.therning.org/posts/2019-02-02-000-the-readert-design-pattern-or-tagless-final-.html
- https://serokell.io/blog/2018/12/07/tagless-final
- http://www.haskellforall.com/2019/02/haskell-command-line-utility-using-ghc.html
- Making a simple Haskell CLI without anything fancy
- https://codurance.com/2019/02/11/bank-kata-in-haskell-state/
- https://vaibhavsagar.com/blog/2019/02/12/refactoring-haskell/index.html
- https://reasonablypolymorphic.com/blog/freer-monads/
- https://reasonablypolymorphic.com/blog/too-fast-too-free/
- https://gist.github.com/gcanti/8b4bddd6711c10ca3ce7073abd1949a3
- https://gist.github.com/gcanti/453e5419fbcabe078d933ab21f0df8bf
- https://wickstrom.tech/programming/2019/03/02/property-based-testing-in-a-screencast-editor-introduction.html
- http://degoes.net/articles/zio-environment
- https://overreacted.io/react-as-a-ui-runtime/
- https://sanctum.geek.nz/arabesque/vim-anti-patterns/
- https://blog.softwaremill.com/final-tagless-seen-alive-79a8d884691d
- https://blogs.ncl.ac.uk/andreymokhov/selective/
- https://www.oreilly.com/ideas/the-world-beyond-batch-streaming-101
- https://www.oreilly.com/ideas/the-world-beyond-batch-streaming-102
- https://discourse.haskell.org/t/local-capabilities-with-mtl/231
- https://bodil.lol/parser-combinators/
- https://blog.ploeh.dk/2017/01/27/from-dependency-injection-to-dependency-rejection/
- https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/
- https://blog.bazel.build/2019/03/31/rules-jvm-external-maven.html
- https://nixos.org/~eelco/pubs/phd-thesis.pdf
- https://blog.ploeh.dk/2019/07/01/yes-silver-bullet/
- https://github.com/github/semantic/blob/master/docs/why-haskell.md
- Andrey Mokhov, Neil Mitchell, Simon Peyton Jones. 2018. Build Systems à la Carte.
- Paolo Capriotti, Ambrus Kaposi. 2014. Free Applicative Functors.
- https://medium.com/@olivier.melois/a-rate-limiter-in-15-lines-of-code-with-cats-effect-af09d838857a
- https://blogs.ncl.ac.uk/andreymokhov/stroll/
- https://www.andrew.cmu.edu/user/erijke/hott/
- https://williamyaoh.com/posts/2019-04-25-lens-exercises.html
- https://bartoszmilewski.com/2019/07/03/programming-with-universal-constructions/
- https://bartoszmilewski.com/2019/09/20/the-power-of-adjunctions/
- https://jacobstanley.io/how-to-use-hedgehog-to-test-a-real-world-large-scale-stateful-app/
- Maybe Not - Rich Hickey
- A Year living Freely – Chris Myers
- PS Unscripted - Free From Tree & Halogen VDOM
- Valentin Kasas & Olivier Girardot - Recursion Schemes Without the Barbed Wire (Part 1) - λC 2018
- Declarative Control Flow with fs2 Stream – Fabio Labella
- Advanced Stream Processing in Scala talk by [Paul Chiusano]
- FS2 Internals: Performance from scale.bythebay.io by [Michael Pilquist]
- Compositional Streaming with FS2 + Slides by [Michael Pilquist]
- Intro to Functional Streams for Scala (FS2) - Part 3: Concurrency by [Michael Pilquist]
- Intro to Functional Streams for Scala (FS2) - Part 2: Chunks & Pipes by [Michael Pilquist]
- Intro to Functional Streams for Scala (FS2) - Part 1 by [Michael Pilquist]
- https://skillsmatter.com/skillscasts/12741-functional-interpreters-and-you
- https://skillsmatter.com/skillscasts/12833-unfolding-programs-with-interpreters
- https://www.infoq.com/presentations/Simple-Made-Easy
- Scale By The Bay 2018: Bryan Clapper, Introduction to Apache Spark with Frameless
- "Turning the database inside out with Apache Samza" by Martin Kleppmann
- https://skillsmatter.com/skillscasts/12650-ciris-functional-configurations
- Extensible Effects: A Leaner Cake for Purely Functional Code – Edmund Noble
- Principled error handling - Beyond MonadError - Luka Jacobowitz
- Duality and How to Delete Half (minus ε) of Your Code – Greg Pfeil
- scala.bythebay.io: Greg Pfeil, This programmer modeled his code after wooden nesting dolls
- Roll Your Own Shapeless - by Daniel Spiewak
- Daniel Spiewak - Full Stack Review: Understanding a Database Implementation
- Composable application architecture with reasonably priced monads
- John A. De Goes - QUARK: A PURELY-FUNCTIONAL SCALA DSL FOR DATA PROCESSING & ANALYTICS
- Edward Kmett - Type Classes vs. the World
- Build Systems à la Carte
- Why the free Monad isn't free - by Kelley Robinson
- Barbara Liskov: Programming the Turing Machine
- Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
- Kyiv Scala meetup v9 - Implementing a game using FP concepts by John A De Goes
- YOW! Lambda Jam 2017 Conal Elliott - Teaching New Tricks to Old Programs #YOWLambdaJam
- Squeal, a Deep Embedding of SQL in Haskell
- 11 Levity Polymorphism In Dependent Haskell fixed audio
- https://skillsmatter.com/skillscasts/11626-keynote-pushing-types-and-gazing-at-the-stars
- https://skillsmatter.com/skillscasts/13003-type-driven-development-in-practice-cats-and-akka-http
- Scala Wave 2018 - RÚNAR BJARNASON - Compositional Programming
- Greg Pfeil - Category-parametric Programming
- Streams, effects and beautiful folds, a winning trilogy by Eric Torreborre
- RIO, a standard library for Haskell
- Real-Time Stream Analytics with Google Cloud Dataflow: Common Use Cases & Patterns (Cloud Next '18)')
- From Dependency injection to dependency rejection - Mark Seemann
- Livecoding Haskell
- Is It Time to Rewrite the Operating System in Rust?
- Applied Category Theory (@ MIT 2019)
- Property-Based Testing The Ugly Parts: Case Studies from Komposition - Oskar Wickström
- Galois, Inc. Tech: Teaching Haskell in the Real World
- Haskell 101
- Haskell 102
- A Categorical View of Computational Effects
- YOW! Lambda Jam 2019 - Bartosz Milewski - A Taste of Type Theory
- YOW! Lambda Jam 2019 - Edward Kmett - Logic Programming à la Carte
- Config-as-code? Ok, mais proprement. Gotez au dhall - Clément DELAFARGUE - Web2Day 2019
- Barbara Liskov, 2008 ACM Turing Award Recipient
- An Intuitive Guide to Combining Free Monad and Free Applicative – Cameron Joannidis
- Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 1)
- Selective Applicative Functors by Andrey Mokhov
- Jon Pretty Type Members vs Type Parameters - NE Scala 2016
- https://skillsmatter.com/skillscasts/6875-workshop-shapeless-for-mortals
- Composing Contracts: An Adventure in Financial Engineering - Simon Peyton-Jones
- Adopting pure FP incrementally - Engineering at Lumi - Phil Freeman
- "Flare: Optimizing Apache Spark for Scale-Up Architectures and Medium-Size Data" by Gregory Essertel
- Fabio Labella—How do Fibers Work? A Peek Under the Hood
- Luka Jacobowitz—Monoids, Monoids, Monoids
- The Last Frontier and Beyond
- BOB Summer 2019 - Conal Elliott, A Functional Reboot for Deep Learning
- Type inference as constraint solving: how GHC’s type inference engine actually works - SPJ
- Gabriel Gonzales: Data science APIs in Haskell - λC Winter Retreat 2017
- MuniHac 2016: Beautiful folds are practical, too
- Gabriel Gonzales: Applied category theory and abstract algebra - λC Winter Retreat 2017
- Desktop and editor setup for Rust development
- https://skillsmatter.com/skillscasts/14665-polysemy-chasing-performance-in-free-monads
- https://github.com/i-am-tom/haskell-exercises
- https://github.com/tweag/capability
- https://github.com/typelevel/cats-tagless
- https://github.com/oleg-py/meow-mtl
- https://github.com/lexi-lambda/freer-simple
- https://github.com/lexi-lambda/mtl-style-example
- https://github.com/SystemFw/Befunge-93
- https://github.com/thomashoneyman/purescript-halogen-realworld
- https://github.com/SmartBackpacker/core
- https://github.com/vladciobanu/purescript-halogen-example
- https://github.com/kubukoz/brick-store
- https://github.com/tpolecat/tuco
- https://github.com/pauljamescleary/scala-pet-store
- https://github.com/fthomas/scala-steward