Современные языки программирования и.NET: II семестр Лекция 10: Расширенные возможности полиморфизма в языке C# © Учебный Центр безопа

Современные языки программирования и .NET: II семестр
Лекция 10: Расширенные возможности полиморфизма в языке C#
© Учебный Центр безопасности информационных технологий Microsoft
Московского инженерно-физического института (государственного университета), 2003
Полиморфизм типов в языке SML
Встроенная функция hd для списка произвольного типа:
hd [1, 2, 3];
val it = 1: int (тип функции: (int list) → int)
hd [true, false, true, false];
val it = true: bool (тип: (bool list) → bool)
hd [(1,2)(3,4),(5,6)];
val it = (1,2) : int*int ((int*int)list→(int*int))
Функция hd имеет тип (type list) →type, где type – произвольный тип