Русская Википедия:Sing Sharp

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

См. также

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

Шаблон:Compu-lang-stub Шаблон:C Sharp Шаблон:DotNET Шаблон:Microsoft Research