Commit c24e2f5e authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Add small answer for rev. 1.

parent 91be5668
......@@ -518,8 +518,16 @@ comment in lines ???-???
Is repeated re-checking of function bodies costly? Especially in the
nested-function case, this could be asymptotically expensive.
\begin{answer}
Kim: it is not costlier than CDuce, just
one extra pass to ``infer'' the annotation
It is not costlier than in CDuce or other languages with overloaded
functions/intersection of arrows. Indeed, in such languages, a
function body is already type-checked several times (once for each
arrow in the intersection).
Here we just perform an extra pass using the provided type
annotations. During this first pass, the possible precise types for
the argument are collected and and an intersection type for the
whole function is built. Note that we do not discover further
possible types for the function arguments during the subsequent
passes.
\end{answer}
\item
On page 10, line 20, there's a reference to an explanation in section
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment