A greedy algorithm for dropping digits (Functional Pearl)

Richard Bird, Shin-Cheng Mu

Consider the puzzle: given a number, remove $k$ digits such that the resulting number is as large as possible. Various techniques were employed to derive a linear-time solution to…