←back to thread

Uncertain<T>

(nshipster.com)
444 points samtheprogram | 1 comments | 28 Aug 25 17:22 UTC | HN request time: 0s | source
Show context
jakubmazanec ◴[28 Aug 25 18:40 UTC] No.45055499[source]▶
[flagged]
replies(4): >>45055607 #>>45055617 #>>45055704 #>>45055864 #
geocar ◴[28 Aug 25 18:57 UTC] No.45055704[source]▶
> What if I want Bayesian?

Bayes is mentioned on page 46.

> And why does it need to be part of the type system? It could be just a library.

It is a library that defines a type.

It is not a new type system, or an extension to any particularly complicated type system.

> Am I missing something?

Did you read it?

https://www.microsoft.com/en-us/research/wp-content/uploads/...

https://github.com/klipto/Uncertainty/

replies(1): >>45056001 #
jakubmazanec ◴[28 Aug 25 19:23 UTC] No.45056001[source]▶
> Bayes is mentioned on page 46.

Bayes isn't mentioned in the linked article. But thanks for the links.

replies(1): >>45062183 #
1. geocar ◴[29 Aug 25 10:01 UTC] No.45062183[source]▶
That did not surprise me because I did not think the article was about anything but about adapting the dot-net library they linked to on Microsoft's site to swift, and I figured that if I wanted to understand the library and the approach I had better read the links that indicated I might be able to learn from them.