Haskell programmer, mathematician, lapsed graphics guru and demo scener, defense contractor and financial toolsmith.
Edward Kmett
As of March 2020, School of Haskell has been switched to read-only mode.
Unlifted Structures 27 Aug 2015
How to build a strict universe with cheap pointers inside of HaskellMoore Machines
No description given.
How to Replace Failure by a Heap of Successes 2 May 2015
This post explains the notion of an Update Monad as a way to think about how to write a parser, then it uses the special meaning of the particular update language for the parser to make the parser more efficient.Fibonacci
It is more or less a joke that all that functional programmers care about are ways to compute the Fibonacci numbers. ```haskell fibs = 1:1:zipWith (+) fibs (tail fibs) ``` Our primary benchmark suite for Haskell is named `nofib` after all. But what if we embrace this predilection? What tools and powers do we gain?Cache-Oblivious Data Structures
Cache-Oblivious Data Structures show that by optimizing for any one cache with unknown parameters you simultaneously optimize for all caches asymptotically. As we get more and more caches, this model becomes more and more "true" over time, and the ability for hand-written code to exceed it by using the cache parameters is lessened by each additional cache we add to the system.Editorials
Posts of a more polemic naturePHOAS For Free 9 Dec 2013
This post revisits the PHOAS and splits it into more compositional components using profunctors that enable us to have a Monad for capture avoiding substitution despite using HOAS.Bound 2 Dec 2015
This post talks about how to make a form of generalized de Bruijn indices that are fit for human consumption.Cellular Automata
This is a short series in which I'm exploring ways some interesting structures in Haskell using cellular automata as motivating examples.Conquering Folds 13 Sep 2013
In this post I show how you can fold almost anything with a Comonad that should permit us to execute a large class of divide-and-conquer algorithms in parallel.On-line Lowest Common Ancestor 27 Aug 2015
On-line lowest common ancestor search has been traditionally viewed as an O(h) operation. We can use purely functional data structures to transform it into an O(log h) form, opening up new use-cases.Parallel and Incremental CRCs 11 Sep 2013
In this post I work through a novel algorithm for computing CRCs incrementally and in parallel.Recursion Schemes
These posts may eventually grow into a taxonomy of recursion schemes. For now it consists of an old Knol on catamorphisms that I wrote that no longer has a home.Revisiting Matrix Multiplication
This series is a rather lazy exploration of how to work with sparse data in Morton order. Along the way we'll be composing a number of useful data structures and twiddling a lot of bits.Snippets
This is a holding bin for short interactive code-snippets that aren't worth a whole tutorial.
