Sing Sharp

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

мультипарадигменный: структурный, императивный, объектно-ориентированный, событийно-ориентированный, функциональный, контрактный

Появился в:

2005

Автор(ы):

Microsoft Research

Релиз:

1.0.21125

Система типов:

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

Испытал влияние:

Spec#

Лицензия

Microsoft Research License

Сайт:

research.microsoft.com/en-us/projects/specsharp

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

См. также[править | править исходный текст]

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