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

• 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
• Reconsidering my approach to learning Haskell

First impressions

• Haskell First Impressions
• One month in Haskell
• Thoughts on one week in Haskell
• Haskell, first impressions (with sexy results)
• The beauty of Haskell

Comparisons to other languages

Ruby

• Ruby vs Haskell: choose what works
• Haskell: open secret in Ruby land
• Monads in Ruby Part 1: Identity
• Monads In Ruby Part 1.5: Identity
• RushCheck, a lightweight random testing tool for Ruby similar to QuickCheck

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

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#

Scala

• Haskell, CAL and Scala

Python

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

Scheme

• Haskell versus Scheme

Factor

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

Lisp

• Writing lisp in Haskell

Lua

• Lazy streams for Lua

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
• What is so cool about Functional Programming?

Programming exercises

• Secret Santas in Haskell III: Lather, Rinse, Repeat 1
• Using Bayesian filtering instead of 'if' in Haskell
• Tying Knots Generically
• A quick and dirty theorem prover in Haskell
• FourFours in Haskell
• Fibonacci series one-liner in Haskell
• The Dot-Matrix Printhead: a Haskell Toy
• The Revised Dot-Matrix Printhead
• Secret Santas in Haskell I: Preliminaries
• Secret Santas in Haskell II: Orbits and Lists
• Diff in Haskell
• Eratosthenes sieve
• Overlap function in Haskell for rectangles
• Introductory Haskell: Solving the Sorting-It-Out Kata
• Haskell Bowling
• A Simple RPN Calculator in Haskell
• My first Haskell adventure game!
• Software Cipher

Laziness

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

IO

• Haskell I/O for imperative programmers
• Simple Unix Tools in Elegant Haskell
• A filesystem tree printer
• Introductory console IO in Haskell
• Listing files in Haskell
• separating IO from logic -- example
• Programming Haskell
  • Programming Haskell: part 1
  • Programming Haskell: part 2
  • Programming Haskell: part 3
• Introductory Haskell Programming in the UNIX Environment

Network

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

Concurrency

• Threads

Performance

• High performance Haskell

Parsing

• Config file parsing
• Playing fast and loose with Parsec for parsing in Haskell
• Combinator parsing
• Interesting parsers in Haskell
• Parser with Writer monad
• Parser combinators
• Adventures in Haskell: parsing the game world
• Adventures in Haskell: the Parsec magic weapon
• Explicit Typing, Trail Blazing, and Packrat Parsing

Monads

• Haskell: bootstrapping into a clue about monads
• Monads for vector spaces, probability and quantum mechanics pt. I
• Monads work because they have a tight interface
• The theory of monads
• The monad behind every zipper
• More on Haskell, Side Effects and Code Reuse
• Monads
• A First Step Into Monads
• More Monads: Stateful Programming
• A newbie in Haskell land : The (->) monad
• Quick interpreters with the Reader monad
• The monad laws
• Variable substitution gives a ... monad
• Monads: a field guide

Monad transformers

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

Arrows

• Concatenative programming in Haskell's Arrows

Comonads

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

Error handling and exceptions

• Error handling in Haskell
• Some Very Basic Haskell and Thoughts on Error Diagnosis

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

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

Combinators

• Second order folds
• Folds and functional programming
• Fold diagrams
• foldr, foldl

GUIs

• Developing Gnome Apps with Glade

Web and XML

• A simple RSS aggregator in 50 lines of Haskell using HXT
• 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

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
• Haskell for Maths: commutative algebra, combinatorics, number theory, and group theory
• Two-dimensional spatial hashing with space-filling curves
• Arithmetic coding in Haskell
• 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

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?

Testing

• On Unit Testing and Type Safety
• Testing ... testing

Regular expressions

• A regular expression tutorial

The foreign function interface

• Simple demonstration of Haskell FFI

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)

Hardware description languages

• Haskell and HDL's

Theory

Lambda calculus

• Don't need the Y combinator