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# фиксирована и описывается формальными соглашениями.

См. также

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