FP/Haskell blog
Contents Three Views of Truth Beliefs the curry-howard trap Intro I gave a talk at ZuriHac way back in 2017 that was about teaching Haskell; I think I called it “Teaching Haskell for Understanding” although perhaps I should have called it “Teaching Haskell for Belief ” but unfortunately that would have been widely misunderstood, for reasons that I’ll be discussing here, as well as being probably…
Contents Learning to Draw Handwriting by imitation The copybook method Some advice for adults Intro As I’ve said before , I’ve been homeschooling my kids for a long time now. Some subjects are fun to teach to them, and some are not. For the short time my older son was in public school (first grade), he was being taught writing in the way that seems fairly typical for public schools: he would be…
About – yikes! – four years ago, I tweeted about having road thoughts about whether nouns and verbs are more like types or more like typeclasses. Road thoughts are a bit like shower thoughts, and I don’t usually turn either one of them into blog posts, but in this case, I’ve spent four years with the thought occasionally coming back to me, and a few people have expressed interest in reading my…
Contents Algebraic structures, briefly described Group-like Structures Ring-like Structures Lattice-like Structures Some algebra in Haskell A little glossary Left and right Intro I started writing this post because, for whatever reason, I keep forgetting what the difference is between a ring and a group , which is funny to me because I never forget the difference between a semiring and a semigroup…
When I started Twitter, I chose to be anonymous. Gradually, as I made friends there, some details of my life slipped out – in particular, that I’m a woman, a mother. But my name still wasn’t out, and I felt free to reply to or ignore, mute or block whomever I pleased. I was a nobody, and I wanted it that way. It was while writing my first book that my Twitter account became attached to my real…
A talk given August 27, 2018, in Melbourne I gave the opening keynote at the C∘mp∘se :: Melbourne , and the organizers were kind enough to give me a lot of freedom in my choice of topic. I often find myself very frustrated by the way programmers talk about metaphor, so I chose a topic that would let me give an entirely different view of metaphors – metaphors the way linguists and cognitive…
I haven’t been around the Haskell community since the early days of the Great Lisp Wars, I admit, and so I do not know who are the original sinners. This is just a description of something I’ve seen play out on Twitter and Reddit and the like several times since I have been here. The Bad Beginning We begin in the Haskell community. We are a relatively small community, but we’re maybe a little…
Contents Intro to Haskell A typical specimen Validation time! In a bind Look at the types Why do Haskellers care about this? A Note on Terminology A Note on Learning Haskell Further reading: Intro This post is an experiment I decided to attempt after conversations with Ben Lesh and some other folks. I will assume as little knowledge of Haskell as I possibly can here. Later we’ll talk about some…
Contents Books for Parents or Teachers Books for Kids Math and Reasoning Science and nature Humanities The Hated Subjects Reading skills Field trips and fun Intro I have been homeschooling my two kids for nearly all of their lives. It was an easy decision to make for my older son because he’d learned to read very early and was well ahead of what we could expect from the local public school. It was…
I’ve been using Hakyll for a long time – ever since I’ve had this blog (as opposed to any of my old WordPress etc blogs), and I like it a lot, although it’s taken a long time for me to feel like I actually understand anything it’s doing. I have known for a long time that Hakyll uses pandoc to render markdown files as html, and I have read that pandoc can automatically generate tables of contents…