mj's Logbook

Choosing an Error Handling Strategy

From Real World OCaml. The whole page on error handling is good, but I’m mostly interested in Exceptions vs explicit Result/Error types:

Given that OCaml supports both exceptions and error-aware return types, how do you choose between them? The key is to think about the trade-off between concision and explicitness.

Exceptions are more concise because they allow you to defer the job of error handling to some larger scope, and because they don’t clutter up your types. But this concision comes at a cost: exceptions are all too easy to ignore. Error-aware return types, on the other hand, are fully manifest in your type definitions, making the errors that your code might generate explicit and impossible to ignore.

The right trade-off depends on your application. If you’re writing a rough-and-ready program where getting it done quickly is key and failure is not that expensive, then using exceptions extensively may be the way to go. If, on the other hand, you’re writing production software whose failure is costly, then you should probably lean in the direction of using error-aware return types.

To be clear, it doesn’t make sense to avoid exceptions entirely. The maxim of “use exceptions for exceptional conditions” applies. If an error occurs sufficiently rarely, then throwing an exception is often the right behavior.

Also, for errors that are omnipresent, error-aware return types may be overkill. A good example is out-of-memory errors, which can occur anywhere, and so you’d need to use error-aware return types everywhere to capture those. Having every operation marked as one that might fail is no more explicit than having none of them marked.

In short, for errors that are a foreseeable and ordinary part of the execution of your production code and that are not omnipresent, error-aware return types are typically the right solution.

programming ocaml advice

3 weeks ago

St. Louis City Talk

A blog written by a St. Louisan who spent a day taking pictures and writing about each of the 79 neighborhoods.

stl blogs city

3 weeks ago

HN complaint about data collection

This rant by Catsandkites is a nice summation of what a non-growth oriented company should strive for with a web product people pay for. I agree with all their complaints.

rant projects

1 month ago

Clojure by Example

A Clojure tutorial by Hirokuni Kim

clojure tutorial

1 month ago

The Clojure Language

A series of tutorial videos on Clojure by Brian Will.

video tutorial clojure

1 month ago

Tools for Thought

Tools For Thought by Howard Rheingold

books programming technology

1 month ago

Koyo

A web “toolkit” for Racket. There’s a nice video of the author building a url shortener here.

Something interesting about this project is that it uses Racket’s contracts.

racket scheme web

2 months ago

Nighthawks

Art Institute in Chicago has it.

toview paintings art institute

3 months ago

Sky: Children of Light

games toplay

3 months ago

Journey

games toplay

3 months ago

What Remains of Edith Finch

toplay games

3 months ago

Git Flight Rules

git programming

4 months ago

Inmost

games toplay switch

4 months ago

Bevy

A data-driven game engine for Rust.

programming gamedev rust gameengine

5 months ago

PostgreSQL Exercises

postgres tutorial programming database

5 months ago

Rust Resources

rust programming

5 months ago

Elegant Library APIs in Rust

rust programming

5 months ago

Introduction to Networked Physics

gamedev games programming network

6 months ago

htmx

Intercooler.js 2.0.

webdev pjax htmx

7 months ago

Miniflux

Self-hosted RSS reader

rss reader

7 months ago