Контроль за типами данных

Выражения и их части в Maple рассматриваются как объекты. В ходе манипуляций с ними важное значение имеет контроль за типами объектов. Одной из основных функций, обеспечивающих такой контроль, является функция whattype(object), возвращающая тип объекта, например string, integer, float, fraction, function и т.д. Могут возвращаться данные об операторах. Примеры применения этой функции даны ниже.

> whattype(2+3);

> whattype(pi);

> whattype(123./5);

> whattype(sin(x));

> whattype([1,2,3,a,b,c]);

С помощью функции type(object,t) можно выяснить, относится ли указанный объект к соответствующему типу t, например:

> type(2+3,integer);

> type(hello,string);

> type("hello",string);

Для более детального анализа объектов может использоваться функция hastype(expr,t) где expr – любое выражение и t – наименование типа подобъекта.

Эта функция возвращает логическое значение true, если подобъект указанного типа содержится в выражении expr.

> hastype(2+3/4,integer);

Еще одна функция – has(f,x) – возвращает логическое значение true? Если подобъект x содержится f, и false в ином случае:

> has(2*sin(x),2);

> has(2*sin(x),`/`);

Подстановки