| Класс языка: |
мультипарадигменный: структурный, императивный, объектно-ориентированный, событийно-ориентированный, функциональный, контрактный |
|---|---|
| Появился в: |
2005 |
| Автор(ы): | |
| Релиз: |
1.0.21125 |
| Типизация данных: | |
| Испытал влияние: | |
| Лицензия |
Microsoft Research License |
| Сайт: |
http://research.microsoft.com/en-us/projects/specsharp |
Sing# — язык программирования с поддержкой параллелизма, является расширением языка программирования Spec#, который, в свою очередь, является расширением языка C#. Microsoft Research разработала Spec#, и позднее расширила его, превратив в Sing#, для разработки операционной системы Singularity. Sing# расширяет возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО. Sing# типобезопасен. Семантика примитивов обмена данными (message-passing primitives) в языке Sing# фиксирована и описывается формальными соглашениями.
| Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
| C# | |
|---|---|
| Версии | 1.0 • 2.0 • 3.0 • 4.0 |
| ПО | Visual C# • Visual Studio • Mono • SharpDevelop • Turbo C# |
| Связанное | Синтаксис • Сравнение с Java • .NET Framework • Sing# |
Sing Sharp.