Abusing instance local functional dependencies for nicer number literals

Posted: 2019-06-24

I demonstrated how to make kilobyte/megabyte constants in Haskell and a Lobsters user asked how it worked. This is a bloggification of my reply to them explaining the trick.

Wrapping up Haskell Book

Posted: 2018-10-03

I'd like to summarize some of the background to Haskell Programming from First Principles' development and finalization.

How I stream myself coding

Posted: 2018-03-14

Alright so I've been uploading streamed videos of myself working on programming projects for awhile now. I occasionally get asked about my setup for this, so I thought I would explain the tools I use. This might be particularly valuable as I am primarily a Linux user where some of the kit for this can be kinda rough. Further, I am very picky about my tools and ergonomics so I didn't really want to make any sacrifices there in order to stream.

How I make stew

Posted: 2017-10-29

I think the first thing my mother taught me to cook was Kraft Mac-n-Cheese at age 9. Fortunately, I've been able to move past that since then. My repertoire is a bit limited but I like to think that by zeroing in on specific kinds of meals, I'm able to make them go a bit farther. A friend of mine asked how I do crockpot recipes and after stewing on it for awhile I thought I would write a post explaining my thought process.

Comparing Persistent with Ecto and ActiveRecord

Posted: 2017-10-06

Rejected title: You're not special

I saw this article comparing Ecto and ActiveRecord: https://www.dailydrip.com/blog/ecto-vs-activerecord.html

I thought I would track alongside that post and show what the equivalent code looks like if you're using the Persistent Haskell library.

Alternatives to Typed Holes for talking to your compiler

Posted: 2017-09-23

Rejected title: Type Praxis

I frequently see people recommend that others use typed holes. I think people are more apt to recommend typed holes than the alternatives because it's a bespoke feature intended to enable discovering the type of a sub-expression more easily. Which is fair enough, except it doesn't really have a good use-case! I will demonstrate in this post why.

What a Haskell Study Group is Not

Posted: 2017-05-03

This article is by Steven Syrek. I'm reposting it here because I endorse what he's saying. I believe Steven brings a valuable perspective on the haskell book, reading groups, and education in general.

Steven posted this article on his Medium.

He has also written some extended notes on pedagogy tied to this post here.

A review of Learn Python the Hard Way, 3rd ed

Posted: 2017-03-25

As a break from usual, I thought I would review Zed Shaw's Learn Python the Hard Way. I've had several beginners to programming ask me what they should use to learn and Shaw's book frequently comes up. I've looked over his materials before when they were a free website but I wanted to see what the current published version was like.

The Hashrocket websocket shootout in Haskell

Posted: 2016-09-03

I recently PR'd a Haskell entry to Hashrocket's websocket shootout. Haskell seemed to do a lot better than C++, Rust, Golang, Elixir, Erlang, NodeJS, Ruby MRI, and JRuby. Although the Haskell version has been since fixed, so I can no longer run the benchmark reliably on my machine, so any final results will have to come from Hashrocket running the unagi-chan variant.

How to use UUID values with Persistent and Yesod

Posted: 2016-06-15

Some people find it trickier to store UUID values in their database with Persistent or to use UUID values in a Yesod web application than is really necessary. Here I'll share some code from my work that demonstrates some patterns in applications that use Persistent or Yesod which should make it easier.

Speeding up the automated building and testing of our Haskell projects

Posted: 2016-03-28

I'm a big fan of using build servers to continually build and test the code I'm working on. I'm also a bit of a latency nut, so I like our builds to be responsive. To that end, I migrating our company away from CircleCI and yielded a 10x improvement to build times for my trouble.

Haskell is not trivial, but it's not unfair like Dark Souls either

Posted: 2016-02-06

Someone wrote a blog post where they have trouble querying a web API in Haskell code. I walk through some examples for how to do so with increasing sophistication building up to some simple uses of lens and lens-aeson.

Either and (,) in Haskell are not arbitrary

Posted: 2015-10-19

Programmers don't understand that it doesn't matter what the default target is for a type like Either as long as there is one and it never changes. I go into some detail and justification of a programming language design that makes decisions like this inherent to the structure of the type rather than author's (arbitrary and harmful) preference. The Left and Right of Either do not mean anything in and of themselves.

Why we don't chuck our readers into web apps

Posted: 2015-08-23

Haskell programmers that often forget how hard it was to learn and use Haskell. They also forget that without the benefit of a code example that does precisely what one wants, it can be nearly impossible for someone to make forward progress unless they have a solid foundation in the language itself. We justify how this reality influences the way we write the Haskell Programming from first principles book.

Building a Haskell game

Posted: 2015-04-26

Sometimes building a package with dependencies on OpenGL can be a little confusing for people new to Haskell. I will use a simple game on Hackage as an exercise for demonstrating how you might do this on Ubuntu. Note: this was written before Stack was a thing.

Functional Education

Posted: 2014-12-31

I often get asked why I do or do not recommend a particular resource for learning Haskell. To save some time and to record more detail than I'll remember off the top of my head, I've written a round-up of the issues with various resources and books people use to learn Haskell.

Why are types useful?

Posted: 2014-12-03

This is a simple follow-along with a Python tutorial, with my version in Haskell and a running commentary. I wrote this partly to hint at why one might want a statically typed language regardless of how one thinks prototyping is best done. It was also partly cathartic.

A URL shortener made literate

Posted: 2014-11-22

This is a quasi-literate version of the very simple URL shortener I wrote in Haskell with Scotty.

Code refactoring with pointfree style demoed via updateMap

Posted: 2014-11-19

I answered a question on Stack Overflow that I thought might be worth sharing here so that others might get an idea of how to refactor code into point-free style.

How I Start: Haskell

Posted: 2014-11-18

I wrote an article for howistart. I've since updated it to use Stack as well.