https://danieljharvey.github.io/ https://danieljharvey.github.io/announcing-wasm-calc/ 2024-07-03 https://danieljharvey.github.io/content-addressed-languages/ 2021-12-28 https://danieljharvey.github.io/contract-testing/ 2020-02-22 https://danieljharvey.github.io/data-migrations/ 2019-07-14 https://danieljharvey.github.io/datatypes-either/ 2019-03-17 https://danieljharvey.github.io/datatypes-maybe/ 2019-02-17 https://danieljharvey.github.io/do-notation/ 2018-10-30 https://danieljharvey.github.io/free-like-pizza/ 2019-09-07 https://danieljharvey.github.io/fuck-it-lets-write-a-database/ 2025-07-26 https://danieljharvey.github.io/getting-started-pt-1/ 2018-12-26 https://danieljharvey.github.io/lets-write-a-database-part-2/ 2025-08-05 https://danieljharvey.github.io/lets-write-a-database-part-3/ 2025-08-24 https://danieljharvey.github.io/llvm-compiler-part-1/ 2023-02-08 https://danieljharvey.github.io/llvm-compiler-part-2/ 2023-02-23 https://danieljharvey.github.io/llvm-compiler-part-3/ 2023-04-11 https://danieljharvey.github.io/new-types/ 2018-12-19 https://danieljharvey.github.io/optics-pt-1-lens/ 2018-10-30 https://danieljharvey.github.io/optics-pt-2-prism/ 2018-12-18 https://danieljharvey.github.io/ordering-and-limits/ 2025-09-07 https://danieljharvey.github.io/polymorphism/ 2019-01-21 https://danieljharvey.github.io/property-testing-mimsa/ 2021-12-28 https://danieljharvey.github.io/purescript-aff/ 2019-03-31 https://danieljharvey.github.io/purescript-semigroups/ 2019-02-17 https://danieljharvey.github.io/refined-types/ 2019-07-05 https://danieljharvey.github.io/tags-and-shit/ 2020-03-28 https://danieljharvey.github.io/tags/ https://danieljharvey.github.io/tags/aff/ https://danieljharvey.github.io/tags/database/ https://danieljharvey.github.io/tags/datatype/ https://danieljharvey.github.io/tags/effect/ https://danieljharvey.github.io/tags/either/ https://danieljharvey.github.io/tags/fastcheck/ https://danieljharvey.github.io/tags/filter/ https://danieljharvey.github.io/tags/free/ https://danieljharvey.github.io/tags/from/ https://danieljharvey.github.io/tags/haskell/ https://danieljharvey.github.io/tags/io-ts/ https://danieljharvey.github.io/tags/joins/ https://danieljharvey.github.io/tags/llvm/ https://danieljharvey.github.io/tags/maybe/ https://danieljharvey.github.io/tags/migratable/ https://danieljharvey.github.io/tags/mimsa/ https://danieljharvey.github.io/tags/monad/ https://danieljharvey.github.io/tags/monoid/ https://danieljharvey.github.io/tags/newtype/ https://danieljharvey.github.io/tags/optics/ https://danieljharvey.github.io/tags/plt/ https://danieljharvey.github.io/tags/programming/ https://danieljharvey.github.io/tags/project/ https://danieljharvey.github.io/tags/purescript/ https://danieljharvey.github.io/tags/query-engine/ https://danieljharvey.github.io/tags/refined/ https://danieljharvey.github.io/tags/rust/ https://danieljharvey.github.io/tags/semigroup/ https://danieljharvey.github.io/tags/stack/ https://danieljharvey.github.io/tags/testing/ https://danieljharvey.github.io/tags/thought-leadership/ https://danieljharvey.github.io/tags/typechecker/ https://danieljharvey.github.io/tags/typeclasses/ https://danieljharvey.github.io/tags/typescript/ https://danieljharvey.github.io/tags/unison/ https://danieljharvey.github.io/tags/wasm/ https://danieljharvey.github.io/testing-io/ 2019-01-27 https://danieljharvey.github.io/the-genius-of-concrete/ 2019-10-09 https://danieljharvey.github.io/total-functions/ 2018-10-21 https://danieljharvey.github.io/typechecking-pt1/ 2022-07-24 https://danieljharvey.github.io/typeclasses-alternative/ 2019-01-06 https://danieljharvey.github.io/typeclasses-applicative/ 2018-11-17 https://danieljharvey.github.io/typeclasses-bifunctor/ 2019-01-13 https://danieljharvey.github.io/typeclasses-contravariant/ 2018-11-17 https://danieljharvey.github.io/typeclasses-eq/ 2018-11-03 https://danieljharvey.github.io/typeclasses-foldable/ 2018-12-03 https://danieljharvey.github.io/typeclasses-functor/ 2018-11-16 https://danieljharvey.github.io/typeclasses-monad/ 2019-03-18 https://danieljharvey.github.io/typeclasses-monoid/ 2019-01-04 https://danieljharvey.github.io/typeclasses-ord/ 2018-11-03 https://danieljharvey.github.io/typeclasses-profunctor/ 2019-03-12 https://danieljharvey.github.io/typeclasses-semigroup/ 2019-01-03 https://danieljharvey.github.io/typeclasses-show/ 2018-11-11 https://danieljharvey.github.io/typeclasses-traversable/ 2018-12-22 https://danieljharvey.github.io/typescript-contract-tests/ 2020-02-23 https://danieljharvey.github.io/what-is-a-typeclass/ 2019-01-05