Sing Sharp

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Sing#
Класс языка мультипарадигменный: структурный, императивный, объектно-ориентированный, событийно-ориентированный, функциональный, контрактный
Появился в 2005
Автор Microsoft Research
Разработчик Microsoft Research
Выпуск 1.0.21125
Система типов статическая, строгая, типобезопасная, номинативная
Испытал влияние Spec#
Лицензия Microsoft Research License
Сайт research.microsoft.com/e…

Sing# — язык программирования с поддержкой параллелизма, является расширением языка программирования Spec#, который, в свою очередь, является расширением языка C#. Microsoft Research разработала Spec#, и позднее расширила его, превратив в Sing#, для разработки операционной системы Singularity. Sing# расширяет возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО. Язык Sing# типобезопасен. Семантика примитивов обмена данными (message-passing primitives) в языке Sing# фиксирована и описывается формальными соглашениями.

Дополнительные источники

[править | править код]