TYPES and TYPE CHECKING

Maple is not strongly typed. Variables may be assigned an object of any type. The type function is used to test if a value is of a given type, e.g.

> type(3/2,integer);
                                     false
> type(3/2,rational);
                                      true
> type([1,3/2],list(integer));
                                     false
> type([1,3/2],list(rational));
                                      true