[fulafel]

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).

[bandrami]

Huh?

What's an example of a probabilistic programming language?

[jmalicki]

This isn't what the parent was talking about, but probabilistic programming languages are totally a thing!

https://en.wikipedia.org/wiki/Probabilistic_programming

[fulafel]

Race conditions, effects of memory safety and other integrity bugs, behaviours of distributed systems, etc.

[bandrami]

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.