| Sing# | |
|---|---|
| Basisdaten | |
| Paradigmen: | multiparadigmatisch:strukturiert,imperativ,objektorientiert,ereignisorientiert,funktional |
| Erscheinungsjahr: | 2005 |
| Entwickler: | Microsoft Research |
| Typisierung: | statisch,stark |
| Beeinflusst von: | Spec# |
| Betriebssystem: | Singularity |
Sing# ist eineProgrammiersprache, die sich vomC#-DerivatSpec# ableitet.
DieProgrammiersprache wurde vonMicrosoft Research mit dem ForschungsprojektSingularity entwickelt.In Sing# geschriebene Anwendungen greifen dabei nicht, wie beispielsweiseC#-Applikationen, aufMicrosofts 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 NamenBartok.
