
Functional Algorithm Design, Part 2
Sometimes functions are not enough.
Sometimes functions are not enough.
Randomized algorithms and probabilistic programs play a growing role in many areas of computer science. What can we do to help ensure that these intricate programs are correct, without the bugs and flaws that plague today’s software?