Wordpress - lukepalmer.wordpress.com - Luke Palmer
General Information:
Latest News:
Polyamory and Respect 10 May 2013 | 11:07 pm
I have been in an open, polyamorous relationship with my partner Amanda for about a year and a half. The relationship began as open for somewhat coincidental reasons, but over its course, I have devel...
Polyamory and Respect 10 May 2013 | 11:07 pm
I have been in an open, polyamorous relationship with my partner Amanda for about a year and a half. The relationship began as open for somewhat coincidental reasons, but over its course, I have devel...
The Plan 2 Apr 2013 | 02:04 am
Last September, I decided that it was time to get a programming job again. After two months of trying to find paid work (of any kind, $10 would have been great!) as a composer, I realized that it’s re...
The Plan 2 Apr 2013 | 02:04 am
Last September, I decided that it was time to get a programming job again. After two months of trying to find paid work (of any kind, $10 would have been great!) as a composer, I realized that it’s re...
Follow Your Nose Proofs 25 Mar 2013 | 11:41 am
We just had the first Categories for the Boulderite meetup, in which a bunch of people who don’t know category theory tried to teach it to each other. Some of the people there had not had very much ex...
Follow Your Nose Proofs 25 Mar 2013 | 11:41 am
We just had the first Categories for the Boulderite meetup, in which a bunch of people who don’t know category theory tried to teach it to each other. Some of the people there had not had very much ex...
Constructions on Typeclasses, Part 1: F-Algebras 12 Mar 2013 | 09:58 am
This post is rendered from literate Haskell. I recommend doing the exercises inline, so use the source. > {-# LANGUAGE DeriveFunctor > , DeriveFoldable > , DeriveTraversable > , TypeOperators #-} > > ...
Constructions on Typeclasses, Part 1: F-Algebras 12 Mar 2013 | 09:58 am
This post is rendered from literate Haskell. I recommend doing the exercises inline, so use the source. > {-# LANGUAGE DeriveFunctor > , DeriveFoldable > , DeriveTraversable > , TypeOperators #-} > > ...
How GADTs inhibit abstraction 4 Mar 2013 | 01:25 pm
Today I want to talk about this snippet: This program ought to be well-behaved — it has no recursion (or recursion-encoding tricks), no undefined or error, no incomplete pattern matches, so we should ...
How GADTs inhibit abstraction 4 Mar 2013 | 01:25 pm
Today I want to talk about this snippet: This program ought to be well-behaved — it has no recursion (or recursion-encoding tricks), no undefined or error, no incomplete pattern matches, so we should ...
