Overcoming Software
Subscribe
Sign in
Home
Archive
About
New
Top
reserving the name
wow i would actually really like to switch from GitHub Pages for my programming stuff, but Substack doesn’t let you use markdown? absolutely not what…
Matt Parsons
Nov 17, 2022
Share this post
reserving the name
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
Coming soon
This is Overcoming Software, a newsletter about thoughts on Haskell and other software concerns.
Matt Parsons
Nov 17, 2022
Share this post
Coming soon
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
Break Gently with Pattern Synonyms
This is a really brief post to call out a nice trick for providing users a nice migration message when you delete a constructor in a sum type. The…
Matt Parsons
Nov 2, 2022
Share this post
Break Gently with Pattern Synonyms
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
October 2022
Spooky Masks and Async Exceptions
Everyone loves Haskell because it makes concurrent programming so easy! forkIO is great, and you’ve got STM and MVar and other fun tools that are…
Matt Parsons
Oct 29, 2022
Share this post
Spooky Masks and Async Exceptions
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
Femoroacetabular Impingement
Apparently, I’ve spent my entire life with a condition called “femoracetabular impingement.” The bones in my hips are deformed - the femoral neck is too…
Matt Parsons
Oct 7, 2022
Share this post
Femoroacetabular Impingement
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
August 2022
Dynamic Exception Reporting in Haskell
Exceptions kind of suck in Haskell. You don’t get a stack trace. They don’t show up in the types of functions. They incorporate a subtyping mechanism…
Matt Parsons
Aug 16, 2022
Share this post
Dynamic Exception Reporting in Haskell
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
May 2022
Moving the Programming Blog
I’m moving the programming stuff over to https://overcoming.software. Well, I will at some point in the future. But I don’t want to break links. So I…
Matt Parsons
May 3, 2022
Share this post
Moving the Programming Blog
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
November 2021
RankNTypes via Lambda Calculus
RankNTypes is a language extension in Haskell that allows you to write even more polymorphic programs. The most basic explanation is that it allows the…
Matt Parsons
Nov 30, 2021
Share this post
RankNTypes via Lambda Calculus
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
September 2021
Deferred Derivation
justifiably lazy orphans (alternative subtitle: “I used the TemplateHaskell to destroy the TemplateHaskell”) (EDIT: 2021-11-05 - Having actually tried…
Matt Parsons
Sep 9, 2021
Share this post
Deferred Derivation
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
Family Values
I wrote a big thread on the company Slack to compare type families: open vs closed vs associated. I also ended up discussing data families, as well…
Matt Parsons
Sep 2, 2021
Share this post
Family Values
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
August 2021
Designing New
I want a better way of constructing Haskell records. Let’s compare and contrast the existing ways. We’ll be using this datatype as an example: data Env…
Matt Parsons
Aug 24, 2021
Share this post
Designing New
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
July 2021
Stealing Impl from Rust
With the new OverloadedRecordDot language extension, we can use the . character to access stuff on records. {-# language OverloadedRecordDot #-} data…
Matt Parsons
Jul 29, 2021
Share this post
Stealing Impl from Rust
overcomingsoftware.substack.com
Copy link
Twitter
Facebook
Email
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts