Many recursive functions are naturally defined using the append operator ++ on lists, but this operator carries a considerable efficiency cost when used recursively. This lecture shows how induction can be used to eliminate such uses of append, and hence make functions more efficient.
Course playlist: tinyurl.com/has...
Негізгі бет AFP 13 - Making Append Vanish: Fast Reverse
No video
Пікірлер: 1