Sing# — язык программирования с поддержкой параллелизма, является расширением языка программирования Spec#, который, в свою очередь, является расширением языка C#. Microsoft Research разработала Spec#, и позднее расширила его, превратив в Sing#, для разработки операционной системы Singularity. Sing# расширяет возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО. Язык Sing# типобезопасен. Семантика примитивов обмена данными (message-passing primitives) в языке Sing# фиксирована и описывается формальными соглашениями.
Sing# | |
---|---|
Класс языка | мультипарадигменный: структурный, императивный, объектно-ориентированный, событийно-ориентированный, функциональный, контрактный |
Появился в | 2005 |
Автор | Microsoft Research |
Разработчик | Microsoft Research |
Выпуск | 1.0.21125 |
Система типов | статическая, строгая, типобезопасная, номинативная |
Испытал влияние | Spec# |
Лицензия | Microsoft Research License |
Сайт | research.microsoft.com/e… |
![]() | Это «статья-заготовка» о компьютерных языках. Вы можете помочь проекту, дополнив эту статью, как и любую другую в Википедии. Нажмите и узнайте подробности. |
![]() | |
---|---|
Версии |
|
ПО |
|
Связанное |
|
![]() .NET | |
---|---|
Реализации |
|
Архитектура |
|
Инфраструктура |
|
Языки Microsoft |
|
Другие языки | |
Windows Foundations |
|
Компоненты |
|
Сравнения |
|
Будущие технологии |
|
Информационные ресурсы |
|
![]() Microsoft Research (MSR) | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Основные проекты |
| ||||||||||||||
MSR Labs |
| ||||||||||||||
![]() |