Zum Inhalt springen

Sing-Sharp

aus Wikipedia, der freien Enzyklopädie

Vorlage:Hinweisbaustein

{{#if: | {{#if: | {{#if:multiparadigmatisch: strukturiert, imperativ, objektorientiert, ereignisorientiert, funktional| {{#if:2005| {{#if:| {{#if:Microsoft Research| {{#if:| {{#if:| {{#if:statisch, stark| {{#if:| {{#if:| {{#if:| {{#if:Spec#| {{#if:| {{#if:Singularity| {{#if:| {{#if:|
{{#if: Sing# | Sing# | {{#invoke:WLink|getArticleBase}} }}
colspan="2" class="notheme" style="text-align:center; background-color:#Vorlage:Standardfarbe;" | |
 {{#if: {{#invoke:Wikidata|claim|P154}} |
[[Datei:{{#invoke:Wikidata|claim|P154}}|150px]]
 }}

}}

{{{Screenshot}}}{{#if: Objektorientierte Programmiersprache |
Objektorientierte Programmiersprache }}|

}}

Basisdaten
Paradigmen: multiparadigmatisch: strukturiert, imperativ, objektorientiert, ereignisorientiert, funktional

}}

Erscheinungsjahr:
 {{#if: {{#invoke:Wikidata|claim|P571}} | 
Erscheinungsjahr: claim|P571|references=ja}}
 }}

}}

Designer:
 {{#if: {{#invoke:Wikidata|claim|P287}} | 
Designer: claim|P287|parameter=link|references=ja|list=, }}
 }}

}}

Entwickler: Microsoft Research |
 {{#if: {{#invoke:Wikidata|claim|P178}} | 
Entwickler: claim|P178|parameter=link|references=ja|list=, }}
 }}

}}

Aktuelle Version: {{{AktuelleVersion}}}  ({{{AktuelleVersionFreigabeDatum}}}) |

{{#if: {{#invoke:Wikidata|claim|P348}} |

Aktuelle Version {{#invoke:Wikidata|claim|P348|references=ja}}{{#if: {{#invoke:Wikidata|claim|Version|qualifier=P577}} | ({{#invoke:Wikidata|claim|Version|qualifier=P577}})}}}}

}}

Aktuelle Vorabversion: {{{AktuelleVorabVersion}}}  ({{{AktuelleVorabVersionFreigabeDatum}}})

}}

Typisierung: statisch, stark

}}

Wichtige Implementierungen:

}}

Dialekte:

}}

Standardisierungen: {{{Standardisierungen}}}

}}

Beeinflusst von: Spec# |
 {{#if: {{#invoke:Wikidata|claim|P737}} | 
Beeinflusst von: claim|P737|parameter=link|references=ja|list=, }}
 }}

}}

Beeinflusste:

}}

Betriebssystem: Singularity |
 {{#if: {{#invoke:Wikidata|claim|P306}} | 
Betriebssystem: claim|P306|parameter=link|references=ja|list=, }}
 }}

}}

Lizenz:
 {{#if: {{#invoke:Wikidata|claim|P275}} | 
Lizenz: claim|P275|parameter=link|references=ja|list=, }}
 }}

}}

|
 {{#if: {{#invoke:Wikidata|claim|P856}} | 
{{#invoke: WLink | formatURL | {{#invoke:Wikidata|claim|P856|parameter=link}}}}
 }}

}}

Sing# ist eine Programmiersprache, die sich vom C#-Derivat Spec# ableitet.

Bedeutung

Die 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.

Weblinks