Comment by fulafel
18 days ago
Programs written in traditional PLs are also often probabilistic. It seems that the same mechanisms could be used to address this in both types (formal methods).
18 days ago
Programs written in traditional PLs are also often probabilistic. It seems that the same mechanisms could be used to address this in both types (formal methods).
Huh?
What's an example of a probabilistic programming language?
This isn't what the parent was talking about, but probabilistic programming languages are totally a thing!
https://en.wikipedia.org/wiki/Probabilistic_programming
Race conditions, effects of memory safety and other integrity bugs, behaviours of distributed systems, etc.
Ah sorry I read your comment wrong. Yes I agree we can and do make probabilistic systems; we've just to date been using deterministic tools to do so.