Haskell for all
Monday, May 18, 2015
The internet of code
In this post I will introduce a proof-of-concept implementation for distributing typed code over the internet where the unit of compilation...
Wednesday, May 6, 2015
Haskell content spinner
Recently somebody posted a template for generating blog comment spam , so I thought: "What sillier way to show how elegant Haskell is t...
Monday, April 6, 2015
You can use mathematical APIs to smooth the onboarding process for new users of your library by reusing their existing intuition for algebra...
Friday, March 27, 2015
Algebraic side effects
Haskell differentiates itself from most other functional languages by letting you reason mathematically about programs with side effects. Th...
Thursday, January 29, 2015
Use Haskell for shell scripting
Right now dynamic languages are popular in the scripting world, to the dismay of people who prefer statically typed languages for ease of ma...
Saturday, January 10, 2015
total-1.0.0: Exhaustive pattern matching using traversals, prisms, and lenses
The lens library provides Prism s, which are a powerful way to decouple a type's interface from its internal representation. For exampl...
Saturday, December 6, 2014
A very general API for relational joins
Map s and tuples are useful data types for modeling relational operations. For example, suppose we have the following table, indexed by the ...
View web version