Advanced Search

Question: Is it possible to create variables of some type without instantiating them?

Question:Is it possible to create variables of some type without instantiating them?

mmcdara 6149
type
January 08 2020
1

Hi, 

It seems to me that variables (maybe I should have use 'names' instead) become "typed" only once they have been instanciated with ':=' ?

But is it possible in Maple  to do something like that
"I declare that variable V will be of type T even if I do not explicitely instanciate it?"

... or is it here one of the distinction between a "typed CAS" and a "non typed" CAS ?

Thanks in advance
Please Wait...