Sing Sharp

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Правильный заголовок этой статьи — Sing#. Он показан некорректно из-за технических ограничений.
Sing#
Класс языка:
Появился в:
2005
Автор:
Выпуск:
1.0.21125
Система типов:

статическая, строгая, типобезопасная, номинативная

Испытал влияние:
Лицензия:
Microsoft Research License
Сайт:

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

См. также[править | править вики-текст]

Дополнительные источники[править | править вики-текст]