Управление типами в технологии .NET

Полимофная типизация

Статическая типизация

Пример 1. Определим тип статической переменной x, которой присвоим значение, сводимое к целому типу:

val x=2*3;

val x = 6: int

Как и следовало ожидать, значение переменной x оказывается целочисленным (int).

Заметим, что функция val, которая используется в примере, является стандартной функцией языка программирования SML для определения типа языкового объекта, т.е. фактически осуществляет приписывание типа (при необходимости используя механизм выводимости типов).

Пример 2. Определим тип константы, которой присвоим значение, также сводимое к целому типу:

1+2;

3: int

Как и следовало ожидать, значение константы 3 также оказывается целочисленным (int).

Пример 3. Определим тип функции сложения двух целочисленных аргументов:

fun add (x: int)(y: int) = x+y;

val add = fn: int -> int -> int

Как видно из результата, типом функции является функция из пары целочисленных значений в целочисленное значение (с точностью до скобок).

Пример 4. Проиллюстрируем означивание (вычисление значения) определенной выше функции сложения двух целочисленных аргументов:

add 1 3;

val it = 4: int

Очевидно, что, как и следует из ранее вычисленного типа

(int -> int -> int), функция, принимая на вход пару целочисленных величин, возвращает значение целочисленного типа.

Пример 5. Рассмотрим тип функции, которая является производной от функции add и выполняет операцию прибавления единицы:

val f = add 1;

val f = fn: int -> int

Вновь введенная функция имеет тип "из целого числа в целое число" (int -> int).

Наконец, означивание последней функции

f 4;

val it = 5: int

в соответствии с ее типом дает целочисленный результат.

Рассмотрим пример полиморфизма - оперирования функциями переменного типа.

Для иллюстрации исследуем поведение встроенной функции hd (от слова "head" - голова), которая выделяет "голову" (первый элемент) списка, вне зависимости от типа его элементов.

Пример 6. Применим функцию к списку из целочисленных элементов:

hd [1,2,3];

val it = 1: int

Получим, что функция имеет тип функции из списка целочисленных величин в целое число (int list -> int).

Пример 7. В случае списка из значений истинности та же самая функция

hd [true, false, true, false];

val it = true: bool

возвращает значение истинности, т.е. имеет следующий тип:

bool list -> bool

Пример 8. Для случая списка кортежей из пар целых чисел

hd [(1,2)(3,4),(5,6)];

val it = (1,2): int*int

получим тип:

((int*int)list -> (int*int)).

В итоге можно сделать вывод о том, что функция hd имеет тип (type list) -> type, где type - произвольный тип, т.е. полиморфна.

Технологическая платформа.NET обеспечивает единообразное управление типами элементов всех языков программирования, реализованных на данной платформе. Это достигается за счет интегрированной обобщенной системы типизации, так называемой Common Type System, или, сокращенно, CTS.

Основная особенность CTS заключается в том, что она представляет собой единую иерархию типов, и типы объектов программы, написанной на произвольном языке программирования, который поддерживается технологической платформой.NET, в ходе трансляции автоматически преобразуются в соответствующие им типы Common Type System.

Таким образом, для любого языка программирования существует отображение (функция), преобразующая произвольный тип этого языка в тот или иной тип Common Type System. Естественно, язык программирования SML не является исключением. Приведем в подтверждение фрагмент отображения типов языка программирования SML в типы иерархии CTS, оформив это соответствие в виде таблицы 7.1.

Таблица 7.1. Отображение типов языка программирования SML в типы иерархии CTS

№	Тип	Класс.NET	Пояснение
	int	System.Int32	Целое число
	string	System.String	Строка
	bool	System.Boolean	Логическое значение
...	...	...	...

Позднее мы обсудим подобное соответствие типов для языка программирования C#.

Дата добавления: 2014-01-07