Pablo Tesone Phd was on type inferencing but he accepted another PhD topics with Noury and us.

Le 23/2/16 10:43, Alexandre Bergel a écrit :
Just emerging from holidays. Is there an effort to have type annotations? How 
these annotations are then used?

Alexandre


On Feb 23, 2016, at 5:47 AM, stepharo <[email protected]> wrote:

Hi

I saw that something <return: #Point> or <return: Point>
I do not know why but I have the impression that <return: #Point> is better.
Because we may have code not present and still want to load the code.

Stef



Reply via email to