1. The author starts off by saying (in the first sentence) that the
printf problem seemingly requires something called “dependent
types”. He never actually goes on to define that (apparently
Copyright By PowCoder代写 加微信 powcoder
we’re all supposed to know what it means). You don’t have to
say what dependent types are, but what was your impression of
the _missing_ piece he was referring to?
2. Danvy isn’t _quite_ solving the problem of typing “printf” as
it’s found in C. Instead he avoids trouble by “changing the
representation of the control string”. How does that help?
3. On page (in “the insights”) he says he will use something
called “Continuation Passing Style”, without really defining that
either. What was your understanding of “continuation” in the
context of the paper
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com