Let's not rush into anything just yet. What we have now is OK, but needs more work. I'd like to have a good static type system & then see if we can blend it nicely with the dynamic. I'm getting the feeling that contracts & blame may be too much, for minimal benefit, but I won't be able to think about this for at least 10 days. <br><div class="gmail_quote"><div dir="ltr">On Wed, Jul 27, 2016 at 5:10 PM Andrew P. Black <<a href="mailto:black@cs.pdx.edu">black@cs.pdx.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><blockquote type="cite">On 27 Jul 2016, at 7:05, James Noble <<a href="mailto:kjx@ecs.vuw.ac.nz" target="_blank">kjx@ecs.vuw.ac.nz</a>> wrote:<br><br>I think I'm proposing that we don't investigate any of the more fancy sound, blame-carrying, etc gradual typing proposals and rather just stick with the<br>existing semantcs --- and point people to Thorn if anyone complains. <br><br>Declare victory and move on, in other words - in particular to seeing how we can ensure adding more types doesn't make a program slower.<br></blockquote><br></div><div style="word-wrap:break-word"><div>To me, those two things seem to contradict each other.   </div><div><br></div><div>My take on gradual typing — coming form the dynamic typing end rather than the static typing end — is that it’s <i>all about</i> figuring out how to ensure that adding more types does not slow down the program.   I think that Jeremy would say this differently — he’s looking at how to introduce the <i>minimal </i>number of type checks when adding type Unknown to  an otherwise statically-typed program.   But I think that it amounts to the same thing.</div></div><div style="word-wrap:break-word"><div><br></div><div><span style="white-space:pre-wrap"> </span>Andrew</div><div><br></div></div>_______________________________________________<br>
Grace-core mailing list<br>
<a href="mailto:Grace-core@cecs.pdx.edu" target="_blank">Grace-core@cecs.pdx.edu</a><br>
<a href="https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core" rel="noreferrer" target="_blank">https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core</a><br>
</blockquote></div>