[opentheory-users] article format wording about constants

Ramana Kumar ramana.kumar at gmail.com
Sat Jan 15 23:16:12 UTC 2011


On Sat, Jan 15, 2011 at 11:12 PM, Joe Hurd <joe at gilith.com> wrote:
> Hi Ramana,
>
>> So why does constTerm take 2 arguments instead of just 1?
>> Is it just to allow you to instantiate type variables that might be in
>> the constant on the stack?
>
> Since constants are solely determined by name (and do not contain any
> type information), you also have to provide a type argument to turn a
> constant into a term.

This confuses me... Are you saying it's possible to have two different constant
terms where the constants have the same name but different types, where one of
the types is not just an instance of the other?

>
> Cheers,
>
> Joe
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>



More information about the opentheory-users mailing list