Archive - Overcoming Software

Making My Life Harder with GADTs

a reddit response too far

Jan 21 •

February 2024

New Post: Persistent Models are Views

Subtleties in Interop Code

Feb 8, 2024 •

July 2023

ANN: `require-callstack`

Propagate `HasCallStack` constraints by compiler errors

Jul 6, 2023 •

May 2023

New Post: Working with Haskell CallStack

I’ve improved our exception reporting experience significantly at Mercury.

May 11, 2023 •

February 2023

Production Haskell v1.0 Released

Now with hard copies!

Feb 2, 2023 •

November 2022

October 2022

Spooky Masks and Async Exceptions

Everyone loves Haskell because it makes concurrent programming so easy!

Oct 29, 2022 •

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 •

August 2022

Dynamic Exception Reporting in Haskell

Exceptions kind of suck in Haskell.

Aug 16, 2022 •

May 2022

Moving the Programming Blog

I’m moving the programming stuff over to https://overcoming.software.

May 3, 2022 •

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts