Commit bf086675 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

Merge branch 'master' of

parents 7d133a26 c24e2f5e
......@@ -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.
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
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