56,966 blogs · [ { "id": "01a08781-bf2c-7325-bcb5-e999d884e919", "title": "Dependent if expressions without dependent types", "url": "https://haskellforall.com/2026/09/dependent-if-expressions", "published_at": "2026-09-02T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17d9e59a9b4", "title": "Mechanized type inference for record concatenation", "url": "https://haskellforall.com/2026/07/mechanized-type-inference-for-record-concatenation", "published_at": "2026-07-07T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17d9ec5730c", "title": "Record type inference for dummies", "url": "https://haskellforall.com/2026/06/record-type-inference-for-dummies", "published_at": "2026-06-23T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17d9f2ee5d9", "title": "Ergonomic overrides for Nixpkgs", "url": "https://haskellforall.com/2026/06/ergonomic-overrides-for-nixpkgs", "published_at": "2026-06-06T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17d9fa505b9", "title": "Type out the code", "url": "https://haskellforall.com/2026/05/type-out-the-code", "published_at": "2026-05-19T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da090737b", "title": "A bidirectional typechecking puzzle", "url": "https://haskellforall.com/2026/05/a-bidirectional-typechecking-puzzle", "published_at": "2026-05-05T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da112c4f4", "title": "A sufficiently detailed spec is code", "url": "https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code", "published_at": "2026-03-17T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da1f775e0", "title": "Browse code by meaning", "url": "https://haskellforall.com/2026/02/browse-code-by-meaning", "published_at": "2026-02-16T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da28dedbb", "title": "Beyond agentic coding", "url": "https://haskellforall.com/2026/02/beyond-agentic-coding", "published_at": "2026-02-07T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da3680702", "title": "My experience with vibe coding", "url": "https://haskellforall.com/2026/02/my-experience-with-vibe-coding", "published_at": "2026-02-02T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da3ec8b9c", "title": "Type-safe eval in Grace", "url": "https://haskellforall.com/2026/01/typesafe-eval", "published_at": "2026-01-20T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da4bc220a", "title": "Chat is the least interesting interface to LLMs", "url": "https://haskellforall.com/2026/01/chat-is-least-interesting-interface-to", "published_at": "2026-01-14T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da550764c", "title": "Prompting 101: Show, don’t tell", "url": "https://haskellforall.com/2026/01/prompting-101-show-dont-tell", "published_at": "2026-01-09T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da5aaa105", "title": "Nix Steering Committee vote of no confidence", "url": "https://haskellforall.com/2025/10/nix-steering-committee-vote-of-no", "published_at": "2025-10-01T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da61c7429", "title": "Steering Committee Retrospective", "url": "https://haskellforall.com/2025/09/steering-committee-retrospective", "published_at": "2025-09-17T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da7167e53", "title": "Datatype unification using Monoids", "url": "https://haskellforall.com/2025/08/type-inference-for-plain-data", "published_at": "2025-08-13T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da75b388d", "title": "Prompt chaining reimagined with type inference", "url": "https://haskellforall.com/2025/05/prompt-chaining-reimagined-with-type_2", "published_at": "2025-05-02T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da78f41c8", "title": "The Haskell inlining and specialization FAQ", "url": "https://haskellforall.com/2024/11/the-haskell-inlining-and-specialization", "published_at": "2024-11-14T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da7a1d7a7", "title": "Firewall rules: not as secure as you think", "url": "https://haskellforall.com/2024/08/firewall-rules-not-as-secure-as-you", "published_at": "2024-08-29T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da7a28da0", "title": "Software engineers are not (and should not be) technicians", "url": "https://haskellforall.com/2024/07/software-engineers-are-not-and-should", "published_at": "2024-07-23T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da807f184", "title": "Quality and productivity are not necessarily mutually exclusive", "url": "https://haskellforall.com/2024/07/quality-and-productivity-are-not", "published_at": "2024-07-03T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da8bcee39", "title": "My spiciest take on tech hiring", "url": "https://haskellforall.com/2024/06/my-spiciest-take-on-tech-hiring", "published_at": "2024-06-25T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da91191fd", "title": "Prefer do notation over Applicative operators when assembling records", "url": "https://haskellforall.com/2024/05/prefer-do-notation-over-applicative", "published_at": "2024-05-20T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17da9ee14fc", "title": "All error messages are necessarily bad to some degree", "url": "https://haskellforall.com/2024/05/all-error-messages-are-necessarily-bad", "published_at": "2024-05-08T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17daad4cbb6", "title": "The siren song of domain-specific languages", "url": "https://haskellforall.com/2024/02/the-siren-song-of-domain-specific", "published_at": "2024-02-29T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dababeca1", "title": "Unification-free (\"keyword\") type checking", "url": "https://haskellforall.com/2024/02/unification-free-keyword-type-checking", "published_at": "2024-02-22T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dac9570f4", "title": "A GHC plugin for OpenTelemetry build metrics", "url": "https://haskellforall.com/2023/10/a-ghc-plugin-for-opentelemetry-build", "published_at": "2023-10-04T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dacea9bbf", "title": "My views on NeoHaskell", "url": "https://haskellforall.com/2023/10/my-views-on-neohaskell", "published_at": "2023-10-02T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dad07f64c", "title": "GHC plugin for HLint", "url": "https://haskellforall.com/2023/09/ghc-plugin-for-hlint", "published_at": "2023-09-08T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dada9f72a", "title": "Ergonomic newtypes for Haskell strings and numbers", "url": "https://haskellforall.com/2023/04/ergonomic-newtypes-for-haskell-strings", "published_at": "2023-04-03T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dae1a34d2", "title": "The \"open source native\" principle for software design", "url": "https://haskellforall.com/2023/03/the-open-source-native-principle-for", "published_at": "2023-03-06T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dae8b3485", "title": "terraform-nixos-ng: Modern terraform support for NixOS", "url": "https://haskellforall.com/2023/01/terraform-nixos-ng-modern-terraform", "published_at": "2023-01-30T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17daf27021c", "title": "Announcing nixos-rebuild: a \"new\" deployment tool for NixOS", "url": "https://haskellforall.com/2023/01/announcing-nixos-rebuild-new-deployment", "published_at": "2023-01-23T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dafaa8466", "title": "Nixpkgs support for Linux builders running on macOS", "url": "https://haskellforall.com/2022/12/nixpkgs-support-for-linux-builders", "published_at": "2022-12-30T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db071ebcd", "title": "Nixpkgs support for incremental Haskell builds", "url": "https://haskellforall.com/2022/12/nixpkgs-support-for-incremental-haskell", "published_at": "2022-12-19T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db1596c7e", "title": "How to correctly cache build-time dependencies using Nix", "url": "https://haskellforall.com/2022/10/how-to-correctly-cache-build-time", "published_at": "2022-10-24T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db1bb9f78", "title": "What does \"isomorphic\" mean (in Haskell)", "url": "https://haskellforall.com/2022/10/what-does-isomorphic-mean-in-haskell", "published_at": "2022-10-20T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db22c7e26", "title": "nix-serve-ng: A faster, more reliable, drop-in replacement for nix-serve", "url": "https://haskellforall.com/2022/09/nix-serve-ng-faster-more-reliable-drop", "published_at": "2022-09-07T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db2432714", "title": "Stop calling everything \"Nix\"", "url": "https://haskellforall.com/2022/08/stop-calling-everything-nix", "published_at": "2022-08-29T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db24dc5dd", "title": "Incrementally package a Haskell program using Nix", "url": "https://haskellforall.com/2022/08/incrementally-package-haskell-program", "published_at": "2022-08-28T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db2dad516", "title": "defaultable-map: An Applicative wrapper for Maps", "url": "https://haskellforall.com/2022/06/defaultable-map-applicative-wrapper-for", "published_at": "2022-06-26T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db3ae44ff", "title": "The appeal of bidirectional type-checking", "url": "https://haskellforall.com/2022/06/the-appeal-of-bidirectional-type", "published_at": "2022-06-03T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db49d11fc", "title": "Generate web forms from pure functions", "url": "https://haskellforall.com/2022/05/generate-web-forms-from-pure-functions", "published_at": "2022-05-31T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db575fc88", "title": "The golden rule of software distributions", "url": "https://haskellforall.com/2022/05/the-golden-rule-of-software", "published_at": "2022-05-09T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db5fa1b4b", "title": "Why does Haskell's take function accept insufficient elements?", "url": "https://haskellforall.com/2022/05/why-does-haskells-take-function-accept", "published_at": "2022-05-03T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db6170b75", "title": "Introductory resources to type theory for language implementers", "url": "https://haskellforall.com/2022/05/introductory-resources-to-type-theory", "published_at": "2022-05-01T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db6995146", "title": "Modeling PlusCal in Haskell using Cartesian products of NFAs", "url": "https://haskellforall.com/2022/03/modeling-pluscal-in-haskell-using", "published_at": "2022-03-29T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db69c1d7d", "title": "The hard part of type-checking Nix", "url": "https://haskellforall.com/2022/03/the-hard-part-of-type-checking-nix", "published_at": "2022-03-12T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db6b5f1a2", "title": "Applicatives should usually implement Semigroup and Monoid", "url": "https://haskellforall.com/2022/03/applicatives-should-usually-implement", "published_at": "2022-03-02T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db701c1fc", "title": "What is a monad morphism (in Haskell)?", "url": "https://haskellforall.com/2022/02/what-is-monad-morphism-in-haskell", "published_at": "2022-02-27T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db70f97e4", "title": "Nixpkgs overlays are monoids", "url": "https://haskellforall.com/2022/01/nixpkgs-overlays-are-monoids", "published_at": "2022-01-26T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db77bd738", "title": "Funding isn't the problem with open source", "url": "https://haskellforall.com/2021/12/funding-isnt-problem-with-open-source", "published_at": "2021-12-13T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db8339102", "title": "Co-Applicative programming style", "url": "https://haskellforall.com/2021/10/co-applicative-programming-style", "published_at": "2021-10-21T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db84f95d0", "title": "Advice for aspiring bloggers", "url": "https://haskellforall.com/2021/10/advice-for-aspiring-bloggers", "published_at": "2021-10-14T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db8c24328", "title": "The \"return a command\" trick", "url": "https://haskellforall.com/2021/10/the-return-command-trick", "published_at": "2021-10-06T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db8ee99da", "title": "Fall-from-Grace: A ready-to-fork functional programming language", "url": "https://haskellforall.com/2021/09/fall-from-grace-ready-to-fork", "published_at": "2021-09-29T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db8f44205", "title": "Optics are monoids", "url": "https://haskellforall.com/2021/09/optics-are-monoids", "published_at": "2021-09-09T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db902a08e", "title": "Forward and reverse proxies explained", "url": "https://haskellforall.com/2021/09/forward-and-reverse-proxies-explained", "published_at": "2021-09-01T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17db9d6ec09", "title": "Naming function arguments in Dhall", "url": "https://haskellforall.com/2021/08/naming-function-arguments-in-dhall", "published_at": "2021-08-27T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dba668afe", "title": "Namespaced De Bruijn indices", "url": "https://haskellforall.com/2021/08/namespaced-de-bruijn-indices", "published_at": "2021-08-13T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbab6f26e", "title": "Probability for Slay the Spire fanatics", "url": "https://haskellforall.com/2021/06/probability-for-slay-spire-fanatics", "published_at": "2021-06-04T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbb4dc143", "title": "Module organization guidelines for Haskell projects", "url": "https://haskellforall.com/2021/05/module-organization-guidelines-for", "published_at": "2021-05-19T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbb8e9ed7", "title": "The trick to avoid deeply-nested error-handling code", "url": "https://haskellforall.com/2021/05/the-trick-to-avoid-deeply-nested-error", "published_at": "2021-05-05T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbbe8ae30", "title": "The end of history for programming", "url": "https://haskellforall.com/2021/04/the-end-of-history-for-programming", "published_at": "2021-04-21T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbc14a8e0", "title": "How to replace Proxy with AllowAmbiguousTypes", "url": "https://haskellforall.com/2021/04/how-to-replace-proxy-with", "published_at": "2021-04-08T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbc8225f8", "title": "Folds are constructor substitution", "url": "https://haskellforall.com/2021/02/folds-are-constructor-substitution", "published_at": "2021-02-06T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbceda82b", "title": "Dynamic type errors lack relevance", "url": "https://haskellforall.com/2021/01/dynamic-type-errors-lack-relevance", "published_at": "2021-01-31T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbd498b42", "title": "The visitor pattern is essentially the same thing as Church encoding", "url": "https://haskellforall.com/2021/01/the-visitor-pattern-is-essentially-same", "published_at": "2021-01-04T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbe18eefa", "title": "Recruiting for diversity is not lowering the bar", "url": "https://haskellforall.com/2020/12/recruiting-for-diversity-is-not", "published_at": "2020-12-04T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbecc994b", "title": "How to use NixOS for lightweight integration tests", "url": "https://haskellforall.com/2020/11/how-to-use-nixos-for-lightweight", "published_at": "2020-11-19T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbf35d952", "title": "Pretty-print syntax trees with this one simple trick", "url": "https://haskellforall.com/2020/11/pretty-print-syntax-trees-with-this-one", "published_at": "2020-11-10T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbf603877", "title": "Why I prefer functional programming", "url": "https://haskellforall.com/2020/10/why-i-prefer-functional-programming", "published_at": "2020-10-30T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbfcbdc3d", "title": "The golden rule of software quality", "url": "https://haskellforall.com/2020/07/the-golden-rule-of-software-quality", "published_at": "2020-07-27T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dbffed43d", "title": "Record constructors", "url": "https://haskellforall.com/2020/07/record-constructors", "published_at": "2020-07-13T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc0404ec7", "title": "Blazing fast Fibonacci numbers using Monoids", "url": "https://haskellforall.com/2020/04/blazing-fast-fibonacci-numbers-using", "published_at": "2020-04-21T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc0af96c5", "title": "Dhall Survey Results (2019-2020)", "url": "https://haskellforall.com/2020/02/dhall-survey-results-2019-2020", "published_at": "2020-02-10T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc0b638c6", "title": "Why Dhall advertises the absence of Turing-completeness", "url": "https://haskellforall.com/2020/01/why-dhall-advertises-absence-of-turing", "published_at": "2020-01-17T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc161a3a2", "title": "Dhall - Year in review (2019-2020)", "url": "https://haskellforall.com/2020/01/dhall-year-in-review-2019-2020", "published_at": "2020-01-05T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc198ca9c", "title": "Prefer to use fail for IO exceptions", "url": "https://haskellforall.com/2019/12/prefer-to-use-fail-for-io-exceptions", "published_at": "2019-12-12T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc1e1daaa", "title": "The CAP theorem for software engineering", "url": "https://haskellforall.com/2019/06/the-cap-theorem-for-software-engineering", "published_at": "2019-06-16T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc21be16b", "title": "Release early and often", "url": "https://haskellforall.com/2019/05/release-early-and-often", "published_at": "2019-05-14T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc293b657", "title": "Dhall Survey Results (2018-2019)", "url": "https://haskellforall.com/2019/02/dhall-survey-results-2019-2019", "published_at": "2019-02-21T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc2b63d26", "title": "Haskell command-line utility using GHC generics", "url": "https://haskellforall.com/2019/02/haskell-command-line-utility-using-ghc", "published_at": "2019-02-11T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc2f3883d", "title": "Dhall - Year in review (2018-2019)", "url": "https://haskellforall.com/2019/01/dhall-year-in-review-2018-2019", "published_at": "2019-01-16T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc31d5d59", "title": "Detailed walkthrough for a beginner Haskell program", "url": "https://haskellforall.com/2018/10/detailed-walkthrough-for-beginner", "published_at": "2018-10-08T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc414943a", "title": "NixOS in production", "url": "https://haskellforall.com/2018/08/nixos-in-production", "published_at": "2018-08-16T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc42de4e9", "title": "How I evaluate Haskell packages", "url": "https://haskellforall.com/2018/05/how-i-evaluate-haskell-packages", "published_at": "2018-05-21T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc501a32b", "title": "The wizard monoid", "url": "https://haskellforall.com/2018/02/the-wizard-monoid", "published_at": "2018-02-05T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc5ad5179", "title": "Dhall Survey Results (2017-2018)", "url": "https://haskellforall.com/2018/01/dhall-survey-results-2017-2018", "published_at": "2018-01-28T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc6926b28", "title": "Dhall - Year in review (2017-2018)", "url": "https://haskellforall.com/2018/01/dhall-year-in-review-2017-2018", "published_at": "2018-01-02T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc6a636da", "title": "Compare Nix derivations using nix-diff", "url": "https://haskellforall.com/2017/11/compare-nix-derivations-using-nix-diff", "published_at": "2017-11-27T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc792f237", "title": "Semantic integrity checks are the next generation of semantic versioning", "url": "https://haskellforall.com/2017/11/semantic-integrity-checks-are-next", "published_at": "2017-11-03T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc7de46f8", "title": "Advice for Haskell beginners", "url": "https://haskellforall.com/2017/10/advice-for-haskell-beginners", "published_at": "2017-10-16T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc82712e4", "title": "Why do our programs need to read input and write output?", "url": "https://haskellforall.com/2017/10/why-do-our-programs-need-to-read-input", "published_at": "2017-10-07T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc8b05292", "title": "Type-driven strictness", "url": "https://haskellforall.com/2017/09/type-driven-strictness", "published_at": "2017-09-26T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc8de1273", "title": "Demystifying Haskell assignment", "url": "https://haskellforall.com/2017/07/demistifying-haskell-assignment", "published_at": "2017-07-16T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc97422de", "title": "Dhall is now a template engine", "url": "https://haskellforall.com/2017/06/dhall-is-now-template-engine", "published_at": "2017-06-17T00:00:00+00:00" }, { "id": "01a08781-bf2d-71a2-b66b-b17dc9fa4780", "title": "Translating a C++ parser to Haskell", "url": "https://haskellforall.com/2017/06/translating-c-parser-to-haskell", "published_at": "2017-06-10T00:00:00+00:00" }, { "id": "01a08781-bf2e-7307-996f-38d6033e8cba", "title": "Use Dhall to configure Bash programs", "url": "https://haskellforall.com/2017/04/use-dhall-to-configure-bash-programs", "published_at": "2017-04-13T00:00:00+00:00" }, { "id": "01a08781-bf2e-7307-996f-38d60434a3d8", "title": "The Curry-Howard correspondence between programs and proofs", "url": "https://haskellforall.com/2017/02/the-curry-howard-correspondence-between", "published_at": "2017-02-20T00:00:00+00:00" } ] posts Claim your blog

Back to Haskell for all

Blog · corpus.blog/blogs/haskellforall.com/posts

Haskell for all

haskellforall.com

2026

Dependent if expressions without dependent types original ↗

2 Sept 2026

Mechanized type inference for record concatenation original ↗

7 Jul 2026

Record type inference for dummies original ↗

23 Jun 2026

Ergonomic overrides for Nixpkgs original ↗

6 Jun 2026

Type out the code original ↗

19 May 2026

A bidirectional typechecking puzzle original ↗

5 May 2026

A sufficiently detailed spec is code original ↗

17 Mar 2026

Browse code by meaning original ↗

16 Feb 2026

Beyond agentic coding original ↗

7 Feb 2026

My experience with vibe coding original ↗

2 Feb 2026

Type-safe eval in Grace original ↗

20 Jan 2026

Chat is the least interesting interface to LLMs original ↗

14 Jan 2026

Prompting 101: Show, don’t tell original ↗

9 Jan 2026

2025

Nix Steering Committee vote of no confidence original ↗

1 Oct 2025

Steering Committee Retrospective original ↗

17 Sept 2025

Datatype unification using Monoids original ↗

13 Aug 2025

Prompt chaining reimagined with type inference original ↗

2 May 2025

2024

The Haskell inlining and specialization FAQ original ↗

14 Nov 2024

Firewall rules: not as secure as you think original ↗

29 Aug 2024

Software engineers are not (and should not be) technicians original ↗

23 Jul 2024

Quality and productivity are not necessarily mutually exclusive original ↗

3 Jul 2024

My spiciest take on tech hiring original ↗

25 Jun 2024

Prefer do notation over Applicative operators when assembling records original ↗

20 May 2024

All error messages are necessarily bad to some degree original ↗

8 May 2024

The siren song of domain-specific languages original ↗

29 Feb 2024

Unification-free ("keyword") type checking original ↗

22 Feb 2024

2023

A GHC plugin for OpenTelemetry build metrics original ↗

4 Oct 2023

My views on NeoHaskell original ↗

2 Oct 2023

GHC plugin for HLint original ↗

8 Sept 2023

Ergonomic newtypes for Haskell strings and numbers original ↗

3 Apr 2023

The "open source native" principle for software design original ↗

6 Mar 2023

terraform-nixos-ng: Modern terraform support for NixOS original ↗

30 Jan 2023

Announcing nixos-rebuild: a "new" deployment tool for NixOS original ↗

23 Jan 2023

2022

Nixpkgs support for Linux builders running on macOS original ↗

30 Dec 2022

Nixpkgs support for incremental Haskell builds original ↗

19 Dec 2022

How to correctly cache build-time dependencies using Nix original ↗

24 Oct 2022

What does "isomorphic" mean (in Haskell)original ↗

20 Oct 2022

nix-serve-ng: A faster, more reliable, drop-in replacement for nix-serve original ↗

7 Sept 2022

Stop calling everything "Nix"original ↗

29 Aug 2022

Incrementally package a Haskell program using Nix original ↗

28 Aug 2022

defaultable-map: An Applicative wrapper for Maps original ↗

26 Jun 2022

The appeal of bidirectional type-checking original ↗

3 Jun 2022

Generate web forms from pure functions original ↗

31 May 2022

The golden rule of software distributions original ↗

9 May 2022

Why does Haskell's take function accept insufficient elements?original ↗

3 May 2022

Introductory resources to type theory for language implementers original ↗

1 May 2022

Modeling PlusCal in Haskell using Cartesian products of NFAs original ↗

29 Mar 2022

The hard part of type-checking Nix original ↗

12 Mar 2022

Applicatives should usually implement Semigroup and Monoid original ↗

2 Mar 2022

What is a monad morphism (in Haskell)?original ↗

27 Feb 2022

Nixpkgs overlays are monoids original ↗

26 Jan 2022

2021

Funding isn't the problem with open source original ↗

13 Dec 2021

Co-Applicative programming style original ↗

21 Oct 2021

Advice for aspiring bloggers original ↗

14 Oct 2021

The "return a command" trick original ↗

6 Oct 2021

Fall-from-Grace: A ready-to-fork functional programming language original ↗

29 Sept 2021

Optics are monoids original ↗

9 Sept 2021

Forward and reverse proxies explained original ↗

1 Sept 2021

Naming function arguments in Dhall original ↗

27 Aug 2021

Namespaced De Bruijn indices original ↗

13 Aug 2021

Probability for Slay the Spire fanatics original ↗

4 Jun 2021

Module organization guidelines for Haskell projects original ↗

19 May 2021

The trick to avoid deeply-nested error-handling code original ↗

5 May 2021

The end of history for programming original ↗

21 Apr 2021

How to replace Proxy with AllowAmbiguousTypes original ↗

8 Apr 2021

Folds are constructor substitution original ↗

6 Feb 2021

Dynamic type errors lack relevance original ↗

31 Jan 2021

The visitor pattern is essentially the same thing as Church encoding original ↗

4 Jan 2021

2020

Recruiting for diversity is not lowering the bar original ↗

4 Dec 2020

How to use NixOS for lightweight integration tests original ↗

19 Nov 2020

Pretty-print syntax trees with this one simple trick original ↗

10 Nov 2020

Why I prefer functional programming original ↗

30 Oct 2020

The golden rule of software quality original ↗

27 Jul 2020

Record constructors original ↗

13 Jul 2020

Blazing fast Fibonacci numbers using Monoids original ↗

21 Apr 2020

Dhall Survey Results (2019-2020)original ↗

10 Feb 2020

Why Dhall advertises the absence of Turing-completeness original ↗

17 Jan 2020

Dhall - Year in review (2019-2020)original ↗

5 Jan 2020

2019

Prefer to use fail for IO exceptions original ↗

12 Dec 2019

The CAP theorem for software engineering original ↗

16 Jun 2019

Release early and often original ↗

14 May 2019

Dhall Survey Results (2018-2019)original ↗

21 Feb 2019

Haskell command-line utility using GHC generics original ↗

11 Feb 2019

Dhall - Year in review (2018-2019)original ↗

16 Jan 2019

2018

Detailed walkthrough for a beginner Haskell program original ↗

8 Oct 2018

NixOS in production original ↗

16 Aug 2018

How I evaluate Haskell packages original ↗

21 May 2018

The wizard monoid original ↗

5 Feb 2018

Dhall Survey Results (2017-2018)original ↗

28 Jan 2018

Dhall - Year in review (2017-2018)original ↗

2 Jan 2018

2017

Compare Nix derivations using nix-diff original ↗

27 Nov 2017

Semantic integrity checks are the next generation of semantic versioning original ↗

3 Nov 2017

Advice for Haskell beginners original ↗

16 Oct 2017

Why do our programs need to read input and write output?original ↗

7 Oct 2017

Type-driven strictness original ↗

26 Sept 2017

Demystifying Haskell assignment original ↗

16 Jul 2017

Dhall is now a template engine original ↗

17 Jun 2017

Translating a C++ parser to Haskell original ↗

10 Jun 2017

Use Dhall to configure Bash programs original ↗

13 Apr 2017

The Curry-Howard correspondence between programs and proofs original ↗

20 Feb 2017