(nshipster.com)

444 points samtheprogram | 1 comments | 28 Aug 25 17:22 UTC | HN request time: 0.232s | source

Show context

layer8 ◴[28 Aug 25 19:19 UTC] No.45055943[source]▶

Arguably Uncertain should be the default, and you should have to annotate a type as certain T when you are really certain. ;)

nine_k ◴[28 Aug 25 20:17 UTC] No.45056582[source]▶

Only for physical measurements. For things like money, you should be pretty certain, often down to exact fractional cents.

It appears that a similar approach is implemented in some modern Fortran libraries.

1. geocar ◴[29 Aug 25 04:55 UTC] No.45060359[source]▶

> For things like money, you should be pretty certain, often down to exact fractional cents.

That's one way to look at it.

Another is that Money is certain only at the point of exchange.

> It appears that a similar approach is implemented in some modern Fortran libraries.

I'd be curious about that. Do you have a link?

Uncertain<T>