Haskell for all

A blog about Haskell and functional programming.

Website

haskellforall.com · all feeds from this site

Feed URL

https://www.haskellforall.com/feeds/posts/default?alt=rss Copy

Follow Read it in your FeedListing reader

Or add to: Feedly Inoreader Raw feed

Latest posts

• Dependent if expressions without dependent types 02 Sep 2026

  Folklore trick for dollar-store dependent types

• Mechanized type inference for record concatenation 07 Jul 2026

  Type inference algorithm for biased record concatenation

• Record type inference for dummies 23 Jun 2026

  Gentle tour of type inference for records

• Ergonomic overrides for Nixpkgs 06 Jun 2026

  Announcement post for the override-utils Nix package

• Type out the code 19 May 2026

  Freecoding improves broader programming proficiency

• A bidirectional typechecking puzzle 05 May 2026

  Type inference challenges for real-world JSON

• A sufficiently detailed spec is code 17 Mar 2026

  Specifications do not address the limitations of agentic coding

• Browse code by meaning 16 Feb 2026

  Navigate a repository using topic modeling

• Beyond agentic coding 07 Feb 2026

  AI dev tooling can do better than chat interfaces

• My experience with vibe coding 02 Feb 2026

  Vibe coding isn't a silver bullet

• Type-safe eval in Grace 20 Jan 2026

  The case for principled eval support

• Chat is the least interesting interface to LLMs 14 Jan 2026

  Structured inputs and outputs work work better than prose

• Prompting 101: Show, don’t tell 09 Jan 2026

  Improve your prompts with better examples rather than better instructions

• Nix Steering Committee vote of no confidence 01 Oct 2025

  Post-mortem on the Nix Steering Committee's recent vote of no confidence

• Steering Committee Retrospective 17 Sep 2025

  A Nix Steering Committee member's critique of the Steering Committee's effectiveness

• Datatype unification using Monoids 13 Aug 2025

  How to infer the types of plain data, including unification

• Prompt chaining reimagined with type inference 02 May 2025

  Using bidirectional type inference to infer JSON schemas for prompts with structured outputs

• The Haskell inlining and specialization FAQ 14 Nov 2024

  Answers to common Haskell questions related to inlining and specialization

• Firewall rules: not as secure as you think 29 Aug 2024

  A post outlining tricks for firewall privilege escalation

• Software engineers are not (and should not be) technicians 23 Jul 2024

  Why predictable development work is a red flag

Report this feed