Loading AI tools
Из Википедии, свободной энциклопедии
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… |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.