Blog articles

Many areas of Haskell have been explored in the form of blog posts. This page collects the best of those articles from across the web.

Introductions to Haskell

• ONLamp: An Introduction to Haskell
• Haskell Study Plan
• On Haskell, Intuition And Expressive Power
• Haskell: Raising the bar
• Learning the Haskell programming language
• On learning Haskell
• My evolution as a Haskell programmer
• Why its hard for imperative programmers to learn Haskell
• Flirting with Functional Programming
• Building a Firewall Against Complexity
• Haskell, bondage-and-discipline and separation-of-concerns programming
• Type systems as safety belts
• Haskell introduction for beginners
• Haskell Basics
• Haskell Preliminaries: Implementations and Tools
• Simple Functions in Haskell
• A Haskell study plan
• Haskell Eye for the Ruby Guy

First impressions

• Haskell First Impressions
• One month in Haskell
• Thoughts on one week in Haskell
• The beauty of Haskell
• Monad wrangling, and the joy of #haskell
• Learning Haskell
• I like Haskell a lot

Comparisons to other languages

Ruby

• Ruby vs Haskell: choose what works
• Haskell: open secret in Ruby land
• Haskell Eye for the Ruby Guy
• Monads in Ruby
  • Part 1: Identity
  • Part 1.5: Identity
• RushCheck, a lightweight random testing tool for Ruby similar to QuickCheck
• part 1
• zip and transpose
• Pattern matching in Ruby

Erlang

• Small comparison of Erlang's syntactic difficulties

Ada

• Describing Haskell to an Ada programmer

Java

• More Haskell in Java 7 or 8?
• Type classes in Java
• Closures and bottom for Java
• An infinite list in Java
• Maybe monad in Java

Perl 6

• Perl 6

Eiffel

• The type system of ECMA Eiffel (modelled in Haskell)

Javascript

• foldr and foldl in JavaScript

C

• The functional C programmer

C#

• The New Lambda Expressions Feature in C# 3.0
• Immutability, Purity, and Referential Transparency in C#
• Haskell for C# 3 Programmers
• Null pointers vs None vs Maybe

Scala

• Haskell, CAL and Scala
• Type classes
• Generics for type-safe persistence

CAL

• Haskell code/Java UI

Python

• Haskell versus Python
• Using Haskell in Python: haskellembed
• Understanding Monads Via Python List Comprehensions

Scheme

• Floating point in ElSchemo (a scheme written in Haskell)
• Haskell versus Scheme

Forth

• Forth as a Haskell DSL

Factor

• Haskell-style parser combinators in Factor: s-expression reader

Lisp

• Writing lisp in Haskell
• Haskell like data structures in Common Lisp

Lua

• Lazy streams for Lua

Qi

• Foldl and Foldr
• SKI in Qi's type system

Functional programming

• A fold-like procedure in C
• What's wrong with for loops
• More on what's wrong with for loops
• Liberating Myself from the von Neumann Style
• Programming Productivity and Programming Languages
• Haskell - A valuable language
• On Functional Programming
• Functional programming is a silver bullet
• Silver Bullets Incoming!
• Computers were invented to keep track of boring things
• Functional programming for the rest of us
• Zen and the Art of Functional Programming
• Thinking in types

Programming exercises

• Diff in Haskell
• Introductory Haskell: Solving the Sorting-It-Out Kata
• A Simple RPN Calculator in Haskell
• Eratosthenes sieve
• Software Cipher
• Secret Santas in Haskell I: Preliminaries
• Secret Santas in Haskell II: Orbits and Lists
• Secret Santas in Haskell III: Lather, Rinse, Repeat 1
• The Dot-Matrix Printhead: a Haskell Toy
• The Revised Dot-Matrix Printhead
• Run length encoding:
  • part 1
  • part 2
  • part 3
• Overlap function in Haskell for rectangles
• Tying Knots Generically
• A quick and dirty theorem prover in Haskell
• Brainf*k interpreter in Haskell
• FourFours in Haskell
• Using Bayesian filtering instead of 'if' in Haskell
• Prime sieves in Haskell
• Bowling in Haskell
  • Haskell Bowling
  • Bowling in Haskell Response
• Norvig's spell checker and idiomatic Haskell

Games

• Haskell chess
• My first Haskell adventure game!
• Hangman AI in Haskell
• Haskell as a puzzle solver

Laziness

• Haskell laziness
• Laziness and fizzbuzz in Haskell
• Lazy lists as iterators

Records

• Haskell records considered grungy

IO

• Haskell I/O for imperative programmers
• Directory tree printing:
  • Part 1
  • Part 2
• Introductory console IO in Haskell
• Listing files in Haskell
• Playing unsafe Haskell
• separating IO from logic -- example
• Programming Haskell
  • Programming Haskell: part 1
  • Programming Haskell: part 2
  • Programming Haskell: part 3
• Design Patterns in Haskell: bracket
• 7 Rules for IO in Haskell
• File related hacking

Command line arguments

• Command line arguments in Haskell

Unix

• Simple Unix Tools in Elegant Haskell
• HSH: a Haskell scripting environment
• Function composition and unix pipes
• Practical Haskell: shell scripting with error handling and privilege separation
• A simple file filter
• Signal handling

Network

HTTP

• Network.HTTP + ByteStrings
• Haskell: Preventing irreversible updates from HTTP GET with types

TCP

• Simple STM TCP server
• Haskell's 'interact' with TCP sockets
• Port Scanner in Haskell
• Simple socket programming:
  • Part 1
  • Part 2
• On haskell: writing a packet sniffer
• A simple echo server

IRC

• An IRC client/server in Haskell
• Roll your own Haskell IRC bot

Parallelism and Concurrency

• Threads Considered Harmful (discusses The Problem with Threads)
• STM and IO
  • STM, IO, and a Simple Persistence Model
  • STM and IO Redux
• Synchronised threads:
  • part1
  • part2
• More Haskell parallelism

Performance

• High performance Haskell
• Reading GHC Core and tuning assembly output
• Simple performance analysis

Parsing

• Parser combinators
• Monadic parsing
• Adventures in Haskell: the Parsec magic weapon
• Adventures in Haskell: parsing the game world
• Combinator parsing
• Parser with Writer monad
• Simple Parsec Example: HTMangL
• Parsers, Parsec and Haskell
• Interesting parsers in Haskell
• Explicit Typing, Trail Blazing, and Packrat Parsing
• Playing fast and loose with Parsec for parsing in Haskell
• Config file parsing
• Parsing JSON in Haskell
• Write yourself a Scheme in 48 hours
• A beginner with Parsec

Code generation

• Writing x86 code generators with Harpy:
  • Generating x86 assembly
  • Compiling a DSL to x86 assembly
  • Disassembling x86

Monads

• The monad laws
• The Trivial Monad
• Tracking tainted data: Homeland Security Threat Level Monad
• Monads: a field guide
• Variable substitution gives a ... monad
• The monad behind every zipper
• Monads for vector spaces, probability and quantum mechanics pt. I
• Monads, Vector Spaces and Quantum Mechanics pt. II
• How to write tolerably efficient optimzation code without really trying...
• Quick interpreters with the Reader monad
• Monads
• More on Haskell, Side Effects and Code Reuse
• A First Step Into Monads
• More Monads: Stateful Programming
• The theory of monads
• A newbie in Haskell land or another monad tutorial
• A newbie in Haskell land : The (->) monad
• Smart classification using Bayesian monads
• 3 open problems with monads
• Monads in 15 minutes: Backtracking and Maybe
• How to make Data.Set a monad
• Monads work because they have a tight interface
• Haskell: bootstrapping into a clue about monads
• Why monads matter
• Monads through Pictures
• Monads as universe helpers
• Simple state monad
• repeat and sequence
• What's a monad?

Monad transformers

• A twisted history of monad transformers
• How To Use Monad Transformers
• Local and global side effects with monad transformers
• Grok monad transformers
• A Simple Game with StateT

Arrows

• Concatenative programming in Haskell's Arrows
• Arrows and security

Comonads

• Comonads and reading from the future
• Evaluating cellular automata is co-monadic
• Understanding comonads

Error handling and exceptions

• Error handling in Haskell
• Some Very Basic Haskell and Thoughts on Error Diagnosis
• 8 ways to report errors in Haskell
• Towards Better Error Handling

Types

• A type-based solution to the 'strings problem'
• Generalised Algebraic Data Types, Phantom Types, and Dependent Types
• Functions, Types, Function Types, and Type Inference
• Building Datatypes in Haskell (part 1)
• Rank-2 polymorphism is a strange thing
• Scientific.Dimension: Type Arithmetic and Physical Units in Haskell

Type classes

• Type Classes: Not Quite Overloading"
• Haskell: the Basics of Type Classes

Data structures

• Queues without pointers
• A Tree Grows Up in Haskell: Building a Dictionary Type
• Haskell Stacks : Two Different Ways
• A counter datatype with constant-time update
• Map fusion: Making Haskell 225% faster
• Roll Your Own Window Manager: Tracking Focus with a Zipper

Strings

• Splitting a string in Haskell

Algorithms and techniques

• Knuth-Morris-Pratt in Haskell
• Travelling Salesman Problem: Introduction (in Haskell)

Folds

• Second order folds
• Folds and functional programming
• Fold diagrams

Dynamic programming

• Dynamic Programming in Haskell

Mutable data

• Haskell: an Imperative Language with Mutable State

Sections and Currying

• Currying
• Playing with sections in Haskell

GUIs

• Developing Gnome Apps with Glade
• Haskell in the real, mundane world
• Haskell GUI Programing

Databases

• Learning Haskell databases

Graphics

• IFS In Haskell
• Raytracing on a grid in Haskell
• Fractals with Haskell-GD

Web and XML

• Haskell and Web Applications
• Ruby and Haskell: write your Rails backend code in Haskell instead of C
• Writing a Simple Search Engine in Haskell
  • Part 0 Introduction
  • Part 1 Maybe and List
• Haskell and the web: some ideas in progress
• A search engine (core) written in Haskell
• Haskell Transactional Cache

HTML

• Use of Text.XHtml.Strict for Outputting XHTML
• Library review: TagSoup

XML, Atom, RSS

• Really simple Atom syndication
• A simple RSS aggregator in 50 lines of Haskell using HXT
• Using the Haskell XML Toolbox

Maths

Haskell for mathematics

• Learn Maths with Haskell
• Practical Synthetic Differential Geometry
• More Low Cost Geometric Algebra
• Algebraic Topology in Haskell
• Infinitesimal Types
• Geometric Algebra for Free!
• Eleven Reasons to use Haskell as a Mathematician
• Laws of Form: An Opinion
• A-algebras and group cohomology
• Prototyping thought
• Computational Group Theory in Haskell
• Carry bits and group cohomology
• Polynomials as numbers
• Non-standard analysis, automatic differentiation, Haskell
• Feistel Ciphers and DES in Haskell
• Arithmetic coding in Haskell
• Haskell for Maths: commutative algebra, combinatorics, number theory, and group theory
• Two-dimensional spatial hashing with space-filling curves
• Countable Ordinals in Haskell
• Polynomials as numbers
• The Division Bell
  • Part One
  • Part Two
  • Part Three
  • Part Four (Conclusion)
  • The Divisive Aftermath
• Haskell, PDF and penrose tilings
• Overloading Haskell numbers
  • Part 1: symbolic expressions
  • Part 2: Forward Automatic Differentiation
  • Part 3: Fixed Precision
  • Dynamic epsilons in Haskell with a bit of type hackery
• Number theory
  • GCD and Higher Order Functions
• Category theory 1
• Category theory 2

Theorem proving

• Quick and Dirty Theorem Prover

Quantum computing

• The Essence of Quantum Computing
• Monads for vector spaces, probability and quantum mechanics pt. I
• Monads, Vector Spaces and Quantum Mechanics pt. II
• Independence, entanglement and decoherence with the quantum monad
• The Shor Quantum Error Correcting Code (and a Monad for Heat)
• The Frame Of Reference Monad

Mathematics of Haskell

• Why isn't ListT list a monad?
• Reverse Engineering Machines with the Yoneda Lemma
• Variable substitution gives a...
• From Lb's Theorem to Spreadsheet Evaluation
• Games, Strategies and the Self-Composition of the List Monad.
• Programs are Proofs: Models and Types in Lambda Calculus
• Why Haskell?
• Don't need the Y combinator
• ML, Haskell and Coq
• Djinn, Coq, Monad and a bit of Haskell
• Category Theory and the category of Haskell programs

Testing, correctness and proofs

• Introduction to QuickCheck
• QuickChecking a window manager
• On Unit Testing and Type Safety
• Robustness and QuickCheck
• Does XMonad crash? On proving pattern coverage with Catch
• Preconditions on XMonad

Regular expressions

• A regular expression tutorial
• Using the new regex packages
• Regular expressions in Haskell

The foreign function interface

• Simple demonstration of Haskell FFI
• C and Haskell sitting in a tree
• Haskell and C: functions returning more than one value

Tips and tricks

• Using Haskell from the command line

Cabal and libraries

• Cabal and rpms
• Getting started with installing third-party Haskell packages
• The lambda revolution: how you can help
• The lambda revolution, Episode V, the deb strikes back
• Questions on Haskell Style (and Polynomials redux)
• Using the Haskell package system
• How To Install Haskell Haddock on Mac OS X

Robots and Hardware

• Haskell and HDL's
• Haskell incarnate: robots and Haskell

Neural networks

• A neural network in Haskell