
Functional Algorithm Design, Part 1
Calculating a greedy algorithm for an optimization problem, functionally.
Calculating a greedy algorithm for an optimization problem, functionally.
Why reason *about* algorithms, when you can reason *with* them?