Chris Done's Blog

Defaulting fields in a record Defaulting fields in a record Note: An LLM was not used in writing this article.

Ghosts of Departed Proofs Convenience Ghosts of Departed Proofs Convenience Note: An LLM was not used in writing this article.

Statically Checked Overloaded Strings Statically Checked Overloaded Strings Note: An LLM was not used in writing this article.

Static Smart Constructors with Double Splices Static Smart Constructors with Double Splices Note: An LLM was not used in writing this article.

Client-side web programming in Haskell: A retrospective Client-side web programming in Haskell: A retrospective Note: An LLM was not used in writing this article.

German Naming Convention German Naming Convention Note: An LLM was not used in writing this article.

Dynamically typed Haskell Dynamically typed Haskell Note: An LLM was not used in writing this article.

Web engines in Haskell Web engines in Haskell Note: An LLM was not used in writing this article.

Lazy list length Lazy list length Note: An LLM was not used in writing this article.

Type inequality operator Type inequality operator Note: An LLM was not used in writing this article.

Fast Haskell: Competing with C at parsing XML Fast Haskell: Competing with C at parsing XML Note: An LLM was not used in writing this article.

hindent 5: One style to rule them all hindent 5: One style to rule them all Note: An LLM was not used in writing this article.

A philosophical difference between Haskell and Lisp A philosophical difference between Haskell and Lisp Note: An LLM was not used in writing this article.

Use the REPL, Luke Use the REPL, Luke Note: An LLM was not used in writing this article.

The path package The path package Note: An LLM was not used in writing this article.

Existentials and the heterogenous list fallacy Existentials and the heterogenous list fallacy Note: An LLM was not used in writing this article.

The constraint trick for instances The constraint trick for instances Note: An LLM was not used in writing this article.

Stream fusion and composability (Java 8 and Haskell) for newbies Stream fusion and composability (Java 8 and Haskell) for newbies Note: An LLM was not used in writing this article.

My Haskell tooling wishlist My Haskell tooling wishlist Note: An LLM was not used in writing this article.

Measuring duration in Haskell Measuring duration in Haskell Note: An LLM was not used in writing this article.

Lucid: templating DSL for HTML Lucid: templating DSL for HTML Note: An LLM was not used in writing this article.

Lucid 2.0: clearer than before Lucid 2.0: clearer than before Note: An LLM was not used in writing this article.

Fast pagination on PostgreSQL Fast pagination on PostgreSQL Note: An LLM was not used in writing this article.

shell-conduit: Write shell scripts in Haskell with Conduit shell-conduit: Write shell scripts in Haskell with Conduit Note: An LLM was not used in writing this article.

Formatting in Haskell Formatting in Haskell Note: An LLM was not used in writing this article.

hindent: A Haskell indenter hindent: A Haskell indenter Note: An LLM was not used in writing this article.

Teaching: A good (and bad) example Teaching: A good (and bad) example Note: An LLM was not used in writing this article.

An alternative Haskell home page An alternative Haskell home page Note: An LLM was not used in writing this article.

Presentations update Presentations update Note: An LLM was not used in writing this article.

The Identity monad trick The Identity monad trick Note: An LLM was not used in writing this article.

The printer Haskell deserves The printer Haskell deserves Note: An LLM was not used in writing this article.

Typeable and Data in Haskell Typeable and Data in Haskell Note: An LLM was not used in writing this article.

Haskell structured diffs Haskell structured diffs Note: An LLM was not used in writing this article.

Reloading running code in GHCi Reloading running code in GHCi Note: An LLM was not used in writing this article.

Attempto Controlled English Attempto Controlled English Note: An LLM was not used in writing this article.

Emacs, Notmuch and Offlineimap Emacs, Notmuch and Offlineimap Note: An LLM was not used in writing this article.

Pure IO monad and Try Haskell Pure IO monad and Try Haskell Note: An LLM was not used in writing this article. tl;dr: Try Haskell now has simple I/O built on a pure IO monad.

Dijkstra on Haskell and Java Dijkstra on Haskell and Java Note: An LLM was not used in writing this article.

Emacs users are like Terry Pratchett’s Igors Emacs users are like Terry Pratchett’s Igors Note: An LLM was not used in writing this article.

Recording simple GIFs for demos Recording simple GIFs for demos Note: An LLM was not used in writing this article.

structured-haskell-mode structured-haskell-mode Note: An LLM was not used in writing this article.

Making GHCi scale better and faster Making GHCi scale better and faster Note: An LLM was not used in writing this article.

Twitter waterflow problem and loeb Twitter waterflow problem and loeb Note: An LLM was not used in writing this article.

Functional Programming is Hard?

God-mode for Emacs God-mode for Emacs Note: An LLM was not used in writing this article.

CamelCase vs under_scores vs hyphenated-words CamelCase vs under_scores vs hyphenated-words Note: An LLM was not used in writing this article.

Analysis of Emacs keys pressed Analysis of Emacs keys pressed Note: An LLM was not used in writing this article.

Haskell News Haskell News Note: An LLM was not used in writing this article.

IRC Browse IRC Browse Note: An LLM was not used in writing this article.

Fay, JavaScript, etc.