Sing Sharp

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск
Sing#
Класс языка:

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

Появился в:

2005 г.

Автор(ы):

Microsoft Research

Типизация данных:

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

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

Spec#

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

См. также

Дополнительные источники


de:Sing-Sharp

en:Sing Sharp

Источник — «http://www.sbup.com/wiki/Sing_Sharp»
Личные инструменты

Served in 0.383 secs.