1. This approach to programming has been called “Wholemeal”
(as opposed to “Piecemeal”). What is the defining characteristic
of this “wholemeal” style, in your opinion?
Copyright By PowCoder代写 加微信 powcoder
2. The paper has a number of sections where Bird performs
“calculations” (e.g. page 675). In your opinion are these just
“academic” matters, or do they make a real contribution to
design of the solution?
3. The approach (refine a simple solution to an efficient one)
relies heavily on being able to rewrite sections of the program
using rules to ensure that they are consistent and correct. Is this
a solely functional concern or is this approach practical in other
languages/paradigms?
4. Functional programs are sometimes hard to reason about
when it comes to time and storage usage. Nevertheless Bird
manages to convincingly present an efficient solver. What do
you think of this approach to optimisation?
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com