Chris Penner

Having access to multiple parallel CPU cores isn't a new thing by any means, people have been programming in parallel for half a century now, but recent years we've found ourselves at an inflection point.

Last time, we explored common methods of sequencing effects into little programs.

Okay, so you and I both know monads are great, they allow us to sequence effects in a structured way and are in many ways a super-power in the functional-programming toolkit.

This one will be quick.

This post will introduce a simple caching strategy, with a small twist, which depending on your app may help you not only improve performance, but might also drastically reduce the memory residency of your program.

This article is about a code-transformation technique I used to get 100x-300x performance improvements on a particularly slow bit of code which was loading Unison code from Postgres in Unison Share.

I don't know about you, but testing isn't my favourite part of software development.

New languages are coming out all the time, some experimental, some industrial, others are purpose built for a specific domain.

Hello!

Hey folks!

The following blog post is a short excerpt from by book on optics: "Optics By Example".

One of my favourite things about Haskell is that its structures and abstractions are very principled, and they have laws dictating correct behaviour.

Today I thought it'd be fun to take a look at a few common & simple "interview questions" in Haskell.

Hi folks!

This is a blog post about optics, if you're at all interested in optics I suggest you go check out my book: Optics By Example.

This is a blog post about optics, if you're at all interested in optics I suggest you go check out my book: Optics By Example.

Since I'm releasing a book on practical lenses and optics later this month I thought it would be fun to do a few of this year's Advent of Code puzzles using as many obscure optics features as possible!

Since I'm releasing a book on practical lenses and optics later this month I thought it would be fun to do a few of this year's Advent of Code puzzles using as many obscure optics features as possible!

Since I'm releasing a book on practical lenses and optics later this month I thought it would be fun to do a few of this year's Advent of Code puzzles using as many obscure optics features as possible!

Since I'm releasing a book on practical lenses and optics later this month I thought it would be fun to do a few of this year's Advent of Code puzzles using optics as much as possible!

Despite the click-bait title I hope you'll find this post generally illuminating, or at the very least a bit of fun!

The library presented in this post is one of many steps towards getting everyone interested in the amazing world of Optics!

TLDR; Build a site with slick 1.0: fork the slick-template.

EDIT: This project has been renamed to ghcide now; you can find it here!

Higher Kinded Data Types (HKDTs) have piqued my interest lately.

This ended up being a pretty long post; if you're pretty comfortable with monad constraints and testing in Haskell you may want to jump down to the Phantom Data Kinds section and get to the interesting stuff!

Today we're going to take a peek at the Update monad!

Today we're going to look at the idea of using Haskell's type system to specialize our app implementation according to type-level flags.

As I dive deeper into functional programming I'm beginning to think that monoids can solve most problems.

Finger Trees are definitely the coolest data structure I was never taught in school.

For those who haven't heard of it, postman is a tool for interacting with and exploring API's.

In line with google's goal to have the whole world running inside a google-doc by 2050 they've added a new feature to Big Query which allows you query directly from a Google Spreadsheet!

I've been working on a toy compiler lately so I've been thinking about ASTs!

Now that we've got the click-bait out of the way (sorry about that) we can have a nice chat!

Today we'll be looking at type programming in Haskell.

Just a quick post today, I had some time free this weekend and figured I'd take a crack at an old classic: "Conway's Game of Life".

I recommend you follow along in ghci and experiment with things as you go; There's a Literate Haskell version of this post here, you can load it straight into ghci!

Today I'm going to continue the previous topic of Adjunctions, last time we talked about how you can build a sensible adjunction from any Representable functor, this time we're going to talk about a (semantically) different form of adjunction, one formed…

Today we'll be looking into Kmett's adjunctions library, particularly the meat of the library in Data.Functor.Adjunction.

We're going to take a look at an alternative way to define a Zipper Comonad over a data type.

If you're reading this I assume you already love Haskell; so I won't convince you of why it's great to work in.

After listening to the latest Magic Read-along episode "You should watch this" (which you should go listen to now) I got caught up thinking about Brian's idea of an Endomorphism version of Kleisli composition for use with Redux, it's actually a very simil…

Some programming languages are tail-recursive, essentially this means is that they're able to make optimizations to functions that return the result of calling themselves.

I suffer from a not-so-rare condition where as soon as a problem is presented to me I immediately start trying to solve it with the tools I know well.

Okay, so here's the deal.

Firstly, if you haven't heard of autoenv then I suggest you go check it out now.

So!

When I was first developing interested in web-technologies (almost exactly a year ago now) I wanted to build some things to test my skills.

I must prefix this discussion with the disclaimer that I haven't done any studies nor performed official research, however I have a general feeling, it's an atmosphere, that I've noticed.

Duckling is a very interesting project that I think exemplifies many great design principles.