Введение в теорию программирования. Функциональный подход

       

Типы, объекты и методы .NET


Проиллюстрируем фрагмент отображения типов языка SML.NET в систему типов Common Type System.

Соответствие типов .NET и типов SMLТип .NETТип SML.NET
System.Booleanbool
System.ByteWord8.word
System.Charchar
System.Doublereal
System.SingleReal32.real
System.Int32int
System.Int64Int64.int
System.Int16Int16.int
System.SbyteInt8.int
System.Stringstring
System.UInt16Word16.word
System.UInt32word
System.UInt64Word64.word
System.Exceptionexn
System.Objectobject

Кроме явного указания типов, в SML.NET предусмотрены средства для ссылки на любой тип иерархии типов .NET. При этом необходимо указывать полное имя объекта, например:

type XMLParser = string -> System.Xml.XmlDocument

Следующая программа иллюстрирует использование типов SML и Common Type System .NET:

structure builtintypes_demo = struct

fun main () = ( print ( "cosh(1.2) = " ^ Real.toString( System.Math.Cosh(1.2)) ^ "\n"); print ( "System.Int32.MinValue = " ^ Int.toString( System.Int32.MinValue) ^ "\n"); print (valOf (System.Char.GetUnicodeCategory( #"Z").#ToString())) )

end



Содержание раздела