typed-fp-good-reads

KO | EN

gitlite — search

#react #ai #typescript #llm #golang #rust #linux #macos #kubernetes #vue #security #mcp #openai #open-source

typed-fp-good-reads

(★ 101)

📚 List of useful resources to learn typed FP

File Explorer

Download Latest Version (.zip)

LICENSE
README.md

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Typed FP - Good Reads
My personal collection of good reads on typed functional programming. PRs are highly appreciated though not 100% guaranteed to be merged, just to keep the list opiniated 🙂

## Types

### Type Level Programming
- 📖 [Basic Type Level Programming in Haskell](https://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html)
- 📖 [Fun with Typed Type-Level Programming in PureScript](https://blog.wuct.me/fun-with-typed-type-level-programming-in-purescript-5f8af42cfec5)
- 📖 [Simple Parameteried Queries with Row Union](https://qiita.com/kimagure/items/9bae08513a5f2658de2c)
- 📖 [Parsing type-level strings to extract types](https://qiita.com/kimagure/items/6729a5d55ab99bcee8ec)
- 📖 [Well-typed printfs cannot go wrong](http://kcsongor.github.io/purescript-safe-printf/)
- 📖 [Kinds and Type Level Programming](http://christof-schramm.net/posts/2019-10-14-type-level-programming-part2.html)
- 📹 [Making sense of the Haskell type system by Ryan Lemmer](https://www.youtube.com/watch?v=tJNU1H9XewM)

### Type Class
- 📖 [Instances and Dictionaries](https://www.schoolofhaskell.com/user/jfischoff/instances-and-dictionaries)
- 📖 [How do type classes differ from interfaces?](https://www.parsonsmatt.org/2017/01/07/how_do_type_classes_differ_from_interfaces.html)
- 📖 Type classes and instances are pattern matching for types
  - [Article](https://qiita.com/kimagure/items/08c59fa21adcd6968ae1)
  - [Slides](https://speakerdeck.com/justinwoo/type-classes-pattern-matching-for-types)
- 📖 [Lifts for free: making mtl typeclasses derivable](https://lexi-lambda.github.io/blog/2017/04/28/lifts-for-free-making-mtl-typeclasses-derivable/)
- 📖 [PureScript: Instance chains and Overlapping Instances](https://liamgoodacre.github.io/purescript/instance/chain/2017/08/18/purescript-instance-chain.html)
- 📖 [On Type Class Instance Selection](https://link.medium.com/wFKFWYtSI1)
- 📹 [PS Unscripted - Code Reuse in PS: Fns, Classes, and Interpreters](https://www.youtube.com/watch?v=GlUcCPmH8wI) **<- Cool introduction to type class**

### Existential Type
- 📖 [Existential quantification (by Mark Karpov)](https://markkarpov.com/post/existential-quantification.html)
- 📖 [Existential types and data abstraction (by Ivan Veselov)](http://iveselov.info/posts/2012-08-30-existential-types.html)
- 📖 [Existential Types in Scala](https://dzone.com/articles/existential-types-in-scala)
- 📖 [Existential type (Haskell wiki)](https://wiki.haskell.org/Existential_type)
- 📖 [Existential Quantification Patterns and Antipatterns](https://link.medium.com/yIBh6kfTI1)
- 📹 [Existential Types — Make OOP Great Again! by Julien Richard Foy](https://www.youtube.com/watch?v=6j5kZj17aUw)

### Higher Ranked Types / Rank N Types
- 📖 [Higher-Ranked Types](https://8thlight.com/blog/mark-grant/2013/09/13/higher-ranked-types-part-1.html)
- 📖 [Rank-N types, a simple DB example](https://chrisdone.com/posts/rankntypes/)
- 📖 [Rank-2-Types and the Scope](https://discourse.purescript.org/t/rank-2-types-and-the-scope/1029) -- See Nate's fabulous answer
- 📖 [4 Days of GHC Extensions: Rank N Types](https://ocharles.org.uk/guest-posts/2014-12-18-rank-n-types.html)

### Functional Dependencies
- 📖 [Functional dependencies (Haskell Wiki)](https://wiki.haskell.org/Functional_dependencies)
- 📖 [Haskell/Advanced type classes](https://en.wikibooks.org/wiki/Haskell/Advanced_type_classes)
- 📖 [Functional Dependencies (Jordan Martinez)](https://github.com/JordanMartinez/purescript-jordans-reference/blob/cf7ff6362c4b26229b386f36ccd99f25644744db/11-Syntax/01-Basic-Syntax/src/03-TypeClasses-and-Newtypes/07-Functional-Dependencies.purs)
- 📖 [24 Days of GHC Extensions: Functional Dependencies](https://ocharles.org.uk/posts/2014-12-14-functional-dependencies.html)
- 📖 [Functional Dependencies & Type Families](https://gvolpe.github.io/blog/functional-dependencies-and-type-families/)
- 📖 [Fun with Funtional Dependenies or (Draft) Types as Values in Static Computations in Haskell](http://www.cse.chalmers.se/~hallgren/Papers/hallgren.pdf)
- 📹 [Mark Jones: Language and Program Design for Functional Dependencies](https://www.youtube.com/watch?v=oFopoOr9lmw)

### Others..
- 📖 [Refine, fine, fine](https://danieljharvey.github.io/posts/2019-07-05-refined-types.html)
- 📖 [Why Types Matter - A type-safe world](https://slides.com/volpegabriel/why-types-matter#/)
- 📖 [Thinking in Types](https://thoughtbot.com/blog/thinking-in-types)
- 📖 [No, dynamic type systems are not inherently more open](https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/)
- 📖 [PureScript GADTs Alternatives — Recap](https://medium.com/@hgiasac/purescript-gadts-alternatives-recap-7960daf4acd8)
- 📖 [Haskell's kind system - a primer](https://diogocastro.com/blog/2018/10/17/haskells-kind-system-a-primer/)
- 📹 [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U)
- 📹 [Values, Types & Kinds - Dylan Just](https://www.youtube.com/watch?v=_cx0lhuW9E8)

## Functors & Family
- 📖 [Functors, Applicatives, And Monads In Pictures](http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html)
- 📖 [Understanding Functor and Monad With a Bag of Peanuts](https://medium.com/beingprofessional/understanding-functor-and-monad-with-a-bag-of-peanuts-8fa702b3f69e)
- 📖 [Understanding contravariance](https://typeclasses.com/contravariance)
- 📖 [Understanding profunctors](https://typeclasses.com/profunctors)
- 📹 [George Wilson - Contravariant Functors: The Other Side of the Coin](https://www.youtube.com/watch?v=IJ_bVVsQhvc)
- 📹 [Phil Freeman - Fun with Profunctors](https://www.youtube.com/watch?v=OJtGECfksds)
- 📹 [George Wilson - The Extended Functor Family](https://www.youtube.com/watch?v=JZPXzJ5tp9w)

## Monad
- 📖 [Using IxMonad to enforce good hamburger building in Purescript](https://qiita.com/kimagure/items/a0ee7313e8c7690bf3f5)
- 📖 [Demystifying `MonadBaseControl`](https://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/)
- 📖 [Comonads are objects](http://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html?m=1)
- 📖 [Finite-State Machines, Part 1: Modeling with Haskell Data Types](https://wickstrom.tech/finite-state-machines/2017/11/10/finite-state-machines-part-1-modeling-with-haskell.html)
- 📖 [A Simple Reader Monad Example](https://blog.ssanj.net/posts/2014-09-23-A-Simple-Reader-Monad-Example.html)
- 📹 [PS Unscripted - Free From Tree & Halogen VDOM](https://www.youtube.com/watch?v=eKkxmVFcd74) **<- Best explanation about Free Monad**
- 📹 [Free as in Monads (in Scala)](https://www.youtube.com/watch?v=cxMo1RMsD0M)
- 📹 [A Series of Unfortunate Effects - Robert M. Avram](https://www.youtube.com/watch?v=y5jZnMImbMY)
- 📹 [PS Unscripted - Comonads for UIs](https://www.youtube.com/watch?v=EoJ9xnzG76M)
- 📹 [John Hughes - Monad and all that](https://www.youtube.com/playlist?list=PLGCr8P_YncjVeZTcfHT1Cb1OfVnNahek5) **<- Deep dive into Monad**
- 📹 [Vincent Marquez, Index your State for Safer Functional APIs](https://www.youtube.com/watch?v=JPVagd9W4Lo)
- 📹 [A roadtrip with monads: from MTL, through tagless to BIO - Paweł Szulc](https://www.youtube.com/watch?v=eth4y015BCU)
- 📹 [Monad Transformer Workshop](https://begriffs.com/posts/2017-04-09-monad-tutorial-workshop.html)

## App Structure, Tips, etc
- 📖 [Three Layer Haskell Cake](https://www.parsonsmatt.org/2018/03/22/three_layer_haskell_cake.html)
- 📖 [MonadIO Considered Harmful](https://chrispenner.ca/posts/monadio-considered-harmful)
- 📖 [Invert Your Mocks!](https://www.parsonsmatt.org/2017/07/27/inverted_mocking.html)
- 📖 [The ReaderT Design Pattern](https://www.fpcomplete.com/blog/2017/06/readert-design-pattern)
- 📖 [Type Safety Back and Forth](https://www.parsonsmatt.org/2017/10/11/type_safety_back_and_forth.html)
- 📖 [Parse, don’t validate](https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/)
- 📖 [Algebraic blindness](https://github.com/quchen/articles/blob/master/algebraic-blindness.md)
- 📖 [On Ad-hoc Datatypes](https://jaspervdj.be/posts/2016-05-11-ad-hoc-datatypes.html)
- 📖 [An opinionated guide to Haskell in 2018](https://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018/)
- 📖 [Tagless Final Encoding in Haskell](https://jproyo.github.io/posts/2019-03-17-tagless-final-haskell.html)
- 📖 [Introduction to Tagless Final](https://serokell.io/blog/tagless-final)
- 📖 [Mocking Effects Using Constraints And Phantom Data Kinds](https://chrispenner.ca/posts/mock-effects-with-data-kinds)
- 📖 [Functional architecture is Ports and Adapters](https://blog.ploeh.dk/2016/03/18/functional-architecture-is-ports-and-adapters/)
- 📖 Polysemy is fun!
  - [Part 1](https://haskell-explained.gitlab.io/blog/posts/2019/07/28/polysemy-is-cool-part-1/index.html)
  - [Part 2](https://haskell-explained.gitlab.io/blog/posts/2019/07/31/polysemy-is-cool-part-2/index.html)
- 📖 [safe-money](https://ren.zone/articles/safe-money)
- 📖 [Using types to unit-test in Haskell](https://lexi-lambda.github.io/blog/2016/10/03/using-types-to-unit-test-in-haskell/)
- 📹 [Painless software development with Haskell - Paweł Szulc](https://www.youtube.com/watch?v=idU7GdlfP9Q)
- 📹 [Matt Parsons - Exceptional Haskell](https://youtu.be/A5c9kgDYXr8)
- 📹 [Next Level MTL - George Wilson ](https://www.youtube.com/watch?v=GZPup5Iuaqw)
- 📹 [Railway oriented programming: Error handling in functional languages by Scott Wlaschin](https://vimeo.com/113707214)
- 📹 [Domain Modeling Made Functional - Scott Wlaschin](https://www.youtube.com/watch?v=Up7LcbGZFuo)

## FRP (Functional Reactive Programming)
- 📖 [Functional Reactive Programming (Introduction)](https://www.cis.upenn.edu/~cis194/fall16/lectures/11-frp.html)
- 📖 [Let's reinvent FRP](http://vindum.io/blog/lets-reinvent-frp/)
- 📖 PureScript: UI driven by Finite State Machines and Event Streams
  - [Part 1](https://dev.to/shamansir/purescript-ui-driven-by-finite-state-machines-and-event-streams-994)
  - [Part 2](https://dev.to/shamansir/purescript-ui-driven-by-finite-state-machines-and-event-streams-part-ii-the-example-3m77)

## General FP
- 📹 [Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali](https://www.youtube.com/watch?v=XZ9nPZbaYfE)
- 📹 [George Wilson - An Intuition for Propagators](https://www.youtube.com/watch?v=nY1BCv3xn24)

## Lens
- 📖 [Practical Profunctor Lenses & Optics In PureScript](https://thomashoneyman.com/articles/practical-profunctor-lenses-optics/)
- 📖 [Lenses for the Mere Mortal: PureScript Edition](https://leanpub.com/lenses) -- FREE book/pdf
- 📹 [Sara Fransson: Functional lenses through a practical lens](https://www.youtube.com/watch?v=sFzuu676pFs)

## GHC
- 📖 [Deriving via](https://ryanglscott.github.io/talk-slides/deriving-via-plclub-slides.pdf)
- 📖 [Mirror Mirror: Reflection and Encoding Via](https://www.parsonsmatt.org/2020/02/04/mirror_mirror.html)
- 📹 [DerivingVia: How to Turn Hand-Written Instances into an Anti-Pattern](https://www.youtube.com/watch?v=Zww6pKxxaOg&t=1396s)

## Programming Language, Type Inference
- 📖 [A reckless introduction to Hindley-Milner type inference](https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference)
- 📖 [An Explanation of Type Inference for ML/Haskell](https://jozefg.bitbucket.io/posts/2015-02-28-type-inference.html)
- 📖 [Practical type inference for arbitrary-rank types](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf)
- 📖 [Write You A Haskell](http://dev.stephendiehl.com/fun/WYAH.pdf)
- 🔗 [Types and Programming Language - Discussion Group](https://github.com/computationclub/computationclub.github.io/wiki#types-and-programming-languages)
- 📹 [Type Inference from Scratch: A Workshop with Christoph Hegemann](https://www.youtube.com/watch?v=frM7GhBERAs)
- 📹 [Christoph Hegemann, TYPE INFERENCE FROM SCRATCH](https://www.youtube.com/watch?v=ytPAlhnAKro)
- 📹 [Introduction to Type Inference](https://www.youtube.com/watch?v=il3gD7XMdmA)
- 📹 [How to Translate PL Judgements into Code](https://www.twitch.tv/videos/667395509)
- 📹 [Intro to PLT - Dave Laing](https://www.youtube.com/watch?v=3H69z6u5i0c)

---

## Youtube Channels
Not necessarily typed FP, but they are great channels to learn FP

- [ICFP Video](https://www.youtube.com/channel/UCwRL68qZFfub1Ep1EScfmBw)
- [PureScript Community](https://www.youtube.com/channel/UCPtHLGu_WXh-OvX8NAVtDEw)
- [LambdaConf](https://www.youtube.com/channel/UCEtohQeDqMSebi2yvLMUItg)
- [Haskell at Work](https://www.youtube.com/channel/UCUgxpaK7ySR-z6AXA5-uDuw)
- [Boston Haskell](https://www.youtube.com/channel/UCUCpgCWjaniUkX88wZrK_Ig/videos)
- [Bay Area Haskell](https://www.youtube.com/channel/UCCL46pxWWtfhK3TxL55ybeQ)
- [Monadic Warsaw](https://www.youtube.com/channel/UCCeiYYR2fCXarkfSqqFBwuA)
- [Lambda World](https://www.youtube.com/channel/UCEBcDOjv-bhAmLavY71RMHA)
- [Brisbane Functional Programming Group](https://www.youtube.com/channel/UC3eIPN3YtTqPDDBbDVPlpWQ)
- [Curry On!](https://www.youtube.com/channel/UC-WICcSW1k3HsScuXxDrp0w)
- [FunctionalTV](https://www.youtube.com/channel/UCKvhw2CPR-0S4XZ1bNlihnw)
- [Edward Kmett](https://www.youtube.com/channel/UCE3MJbkTVLoK8dAq7Del8ww)

## Folks to Follow (on Twitter)
- [Alexis King](https://twitter.com/lexi_lambda)
- [Iceland Jack](https://twitter.com/Iceland_jack)
- [Type Classes](https://twitter.com/typeclasses)
- [Andres Löh](https://twitter.com/kosmikus)
- [Vanessa McHale](https://twitter.com/vamchale)
- [Matt Parsons](https://twitter.com/mattoflambda)
- [Monoid Mary](https://twitter.com/argumatronic)
- [sara :: forall a. a](https://twitter.com/MxLambda)
- [Taylor Fausak](https://twitter.com/taylorfausak)
- [Phil Freeman](https://twitter.com/paf31)
- [Nathan Faubion](https://twitter.com/natefaubion)
- [FP Complete](https://twitter.com/FPComplete)
- [Vaibhav Sagar](https://twitter.com/vbhvsgr)
- [Sukant Hajra](https://twitter.com/shajra)
- [Sofia](https://twitter.com/typeswitch)
- [Liam Goodacre](https://twitter.com/goodacre_liam)
- [Rúnar](https://twitter.com/runarorama)
- [Alejandro Serrano](https://twitter.com/trupill)
- [Erik Meijer](https://twitter.com/headinthebox)
- [Bartosz Milewski](https://twitter.com/BartoszMilewski)
- [hdgarrood](https://twitter.com/hdgarrood)
- [Impure Pics](https://twitter.com/impurepics)
- [Chris Martin](https://twitter.com/chris__martin)
- [Martin Odersky](https://twitter.com/odersky)
- [Isaac](https://twitter.com/fresheyeball)
- [Gary Burgess](https://twitter.com/gb_r)
- [Soham Chowdhury](https://twitter.com/mrkgrnao)
- [Paweł Szulc](https://twitter.com/rabbitonweb)
- [William J. Bowman](https://twitter.com/wilbowma)
- [Igal Tabachnik](https://twitter.com/hmemcpy)
- [Brian McKenna](https://twitter.com/puffnfresh)
- [Josh Burgess](https://twitter.com/_joshburgess)
- [paulette d. koronkevich](https://twitter.com/koronkebitch)
- [Stephanie Weirich](https://twitter.com/fancytypes)
- [Alex Berg](https://twitter.com/alex_berg)
- [Arian van Putten](https://twitter.com/ProgrammerDude)

## Other curated resources
- https://github.com/graninas/software-design-in-haskell
- https://github.com/safareli/tweets
- https://github.com/mmenestret/fp-resources
- https://github.com/soupi/haskell-study-plan
- https://github.com/andys8/awesome-haskell-videos

typed-fp-good-reads

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

typed-fp-good-reads

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

Download README