Sing Sharp

Énekel#
Nyelvóra több paradigma: strukturális , imperatív , objektumorientált , eseményorientált , funkcionális , szerződéses
Megjelent 2005
Szerző Microsoft Research
Fejlesztő Microsoft Research
Kiadás 1.0.21125
Típusrendszer statikus , szigorú , típusbiztos , névelő
Befolyásolt Spec#
Engedély Microsoft kutatási licenc
Weboldal research.microsoft.com/e…

A Sing#  egy programozási nyelv , amely támogatja a párhuzamosságot , a Spec# programozási nyelv kiterjesztése , amely viszont a C# nyelv kiterjesztése . A Microsoft Research kifejlesztette a Spec#-ot , majd később kiterjesztette a Sing# -ra a Singularity operációs rendszer fejlesztése érdekében . Az Sing# kiterjeszti a Spec#-ot azáltal, hogy támogatja a rendszerszoftver megvalósításához szükséges csöveket és alacsony szintű programozási nyelvi konstrukciókat . A Sing# nyelv típusbiztos . Az üzenetátadó primitívek szemantikáját a Sing# nyelvben formális konvenciók rögzítik és írják le.

Lásd még

További források