3 ms·
> 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 t
by geocar 1y ago
> 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/2016/02/uncertaint-asplos-2014-slides.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...
https://github.com/klipto/Uncertainty/ https://github.com/klipto/Uncertainty/
- jakubmazanec 1y ago> Bayes is mentioned on page 46. Bayes isn't mentioned in the linked article. But thanks for the links.
- geocar 1y agoThat 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.