Sing-Sharp
Programmiersprache von Microsoft Research
Sing# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet.
Sing# | |
---|---|
Paradigmen: | multiparadigmatisch: strukturiert, imperativ, objektorientiert, ereignisorientiert, funktional |
Erscheinungsjahr: | 2005 |
Entwickler: | Microsoft Research |
Typisierung: | statisch, stark |
Beeinflusst von: | Spec# |
Betriebssystem: | Singularity |
Bedeutung
BearbeitenDie Programmiersprache wurde von Microsoft Research mit dem Forschungsprojekt Singularity entwickelt. In Sing# geschriebene Anwendungen greifen dabei nicht, wie beispielsweise C#-Applikationen, auf Microsofts CLR (Common Language Runtime) oder aus anderen Sprachen bekannte Virtuelle Maschinen zu. Microsoft Research setzt stattdessen auf einen von ihnen entwickelten Compiler mit Laufzeitumgebung mit dem Namen Bartok.