Overcoming Software
Subscribe
Sign in
Home
Archive
About
New
Top
ANN: `require-callstack`
Propagate `HasCallStack` constraints by compiler errors
Jul 6
•
Matt Parsons
Share this post
ANN: `require-callstack`
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
May 2023
New Post: Working with Haskell CallStack
I’ve improved our exception reporting experience significantly at Mercury. As a result, I know quite a bit about `HasCallStack`, a weird and magical…
May 11
•
Matt Parsons
Share this post
New Post: Working with Haskell CallStack
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
February 2023
Production Haskell v1.0 Released
Now with hard copies!
Feb 2
•
Matt Parsons
Share this post
Production Haskell v1.0 Released
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
November 2022
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…
Nov 17, 2022
•
Matt Parsons
Share this post
reserving the name
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
Coming soon
This is Overcoming Software, a newsletter about thoughts on Haskell and other software concerns.
Nov 17, 2022
•
Matt Parsons
Share this post
Coming soon
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
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…
Nov 2, 2022
•
Matt Parsons
Share this post
Break Gently with Pattern Synonyms
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
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…
Oct 29, 2022
•
Matt Parsons
Share this post
Spooky Masks and Async Exceptions
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
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…
Oct 7, 2022
•
Matt Parsons
Share this post
Femoroacetabular Impingement
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
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…
Aug 16, 2022
•
Matt Parsons
Share this post
Dynamic Exception Reporting in Haskell
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
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…
May 3, 2022
•
Matt Parsons
Share this post
Moving the Programming Blog
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
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…
Nov 30, 2021
•
Matt Parsons
Share this post
RankNTypes via Lambda Calculus
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
September 2021
Deferred Derivation
justifiably lazy orphans (alternative subtitle: “I used the TemplateHaskell to destroy the TemplateHaskell”) (EDIT: 2021-11-05 - Having actually tried…
Sep 9, 2021
•
Matt Parsons
Share this post
Deferred Derivation
overcomingsoftware.substack.com
Copy link
Facebook
Email
Notes
Other
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
