[Grace-core] Fwd: "Type Dynamic" or "Unknown Type"

[Marco Servetto]

can the empty string serve the role of this type?

On 26 November 2013 21:29, Kim Bruce <kim at cs.pomona.edu> wrote:
> ... or perhaps "unrestricted", which seems a bit more accurate to me.
>
> Kim
>
>
>
> On Nov 25, 2013, at 7:35 PM, James Noble <kjx at ecs.vuw.ac.nz> wrote:
>
>> An excerpt from a discussion that kicked off at WG2.16 in Aarhus:
>>
>> is "Unknown" a better name for "type Dynamic" than "Dynamic"?
>>
>> the problems are - of course - that "type Dynamic" is a "static type",
>> and that no object ever has a "dynamic type" of "Dynamic" :-)
>>
>>
>> so, perhaps we could consider renaming type "Dynamic" to "Unknown"
>>
>> James
>>
>> Begin forwarded message:
>>
>>> From: Laurence Tratt <laurie at tratt.net>
>>> Subject: Re: Dynamic type
>>> Date: 26 November 2013 11:31:46 AM NZDT
>>> To: Ron Garcia <rxg at cs.ubc.ca>
>>> Cc: James Noble <kjx at ecs.vuw.ac.nz>
>>>
>>> On Mon, Nov 25, 2013 at 10:49:04AM -0800, Ron Garcia wrote:
>>>
>>> Hi Ron,
>>>
>>>> Now that the term is starting to wind down (thank heavens!) here in
>>>> Vancouver, I'm hoping to work my way back into this conversation.  In the
>>>> meantime, though, I did want to note that we have written up the work that
>>>> I presented at the working group, and have used the terminology "unknown"
>>>> throughout, rather than "dynamic".  Two things seem to come from this:  one
>>>> is that I'm hoping that Laurie will be happy about it :).  The second,
>>>> really interesting, thing is that I really now think that "unknown" is
>>>> exactly the right word, and best expresses what our technical development
>>>> is trying to conceptually analyze.  So…thanks a lot for the great
>>>> conversation!  It's had an effect, not just on the terminology, but also on
>>>> how I think about what I'm doing.
>>>
>>> If only I could convince everyone to make me happy with their research :)
>>>
>>> More seriously, I think "unknown" is a good term, and I hope it helps people
>>> like me (who are outside the core gradual typing world) better understand
>>> some of the cool work you are doing. I look forward to seeing what you guys
>>> publish!
>>>
>>>
>>> Laurie
>>> --
>>> Personal                                             http://tratt.net/laurie/
>>> Software Development Team                                http://soft-dev.org/
>>>  https://github.com/ltratt              http://twitter.com/laurencetratt
>>>
>>
>>
>> _______________________________________________
>> Grace-core mailing list
>> Grace-core at cecs.pdx.edu
>> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core
>
>
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core