[Grace-core] On Gradual Typing

[Michael Homer]

On Fri, Jul 19, 2013 at 11:02 AM, Michael Homer <mwh at ecs.vuw.ac.nz> wrote:
> On Fri, Jul 19, 2013 at 10:47 AM, Andrew P Black
> <andrew.p.black at gmail.com> wrote:
>>>> I want an IDE that will remind me that the above object requires a y method.  I don't want an IDE that will prevent me from running tests on a program that contains such an object.
>>> Yes you do. That is why I wrote these examples.
>> No, really. I don't.   There has to be, at the very least, an annotation that will say: "yes, I know that a method y must be supplied before this is used."  Press on!
> Sorry, that was ambiguous. I meant yes, you do want that, which was
> why I wrote them.
That wasn't any less ambiguous. You do want to be able to write and
run that program, which is exactly why it was a useful example.
-Michael