2 ms·
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)
by fulafel 9mo 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).
- bandrami 9mo agoHuh? What's an example of a probabilistic programming language?
- fulafel 9mo agoRace conditions, effects of memory safety and other integrity bugs, behaviours of distributed systems, etc.
- bandrami 9mo agoAh 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.
- jmalicki 9mo agoThis isn't what the parent was talking about, but probabilistic programming languages are totally a thing! https://en.wikipedia.org/wiki/Probabilistic_programming https://en.wikipedia.org/wiki/Probabilistic_programming