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.