All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their …
