Cânta Sharp

Cânta#
Clasa de limba	multi- paradigma: structural , imperativ , orientat pe obiecte , orientat pe evenimente , funcțional , contractual
Aparut in	2005
Autor	Cercetare Microsoft
Dezvoltator	Cercetare Microsoft
Eliberare	1.0.21125
Tip sistem	static , strict , tip safe , nominativ
A fost influențat	Spec#
Licență	Licență de cercetare Microsoft
Site-ul web	research.microsoft.com/e…

Sing# , un limbaj de programare cu suport pentru concurență , este o extensie a limbajului de programare Spec# , care, la rândul său, este o extensie a limbajului C# . Microsoft Research a dezvoltat Spec# și ulterior l-a extins la Sing# pentru a dezvolta sistemul de operare Singularity . Sing# extinde Spec# prin sprijinirea conductelor și a construcțiilor de limbaj de programare de nivel scăzut necesare pentru implementarea software-ului de sistem . Limba Sing# este de tip sigur . Semantica primitivelor de transmitere a mesajelor în limbajul Sing# este fixată și descrisă prin convenții formale.

Vezi și

Suport lingvistic pentru comunicare rapidă și fiabilă bazată pe mesaje în sistemul de operare Singularity Arhivat 20 decembrie 2017 la Wayback Machine . Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus și Steven Levi. Procedurile EuroSys2006 . Leuven, Belgia, aprilie 2006. ACM SIGOPS.
O privire de ansamblu asupra proiectului Singularity , Raport tehnic MSR-TR-2005-135, Microsoft Research , 2005.

C#
Versiuni	1.0 2.0 3.0 4.0 4.0
PE	Visual C# Studio vizual Mono SharpDevelop Turbo C# Cω
Legate de	Sintaxă Comparație cu Java .Cadru net Cânta#

.NET
Implementări	.NET (core) .Cadru net Dot GNU Mono .NET Compact Framework Xbox 360 .NET Micro Framework Portable.NET Cadrul XNA lumina argintie Sursă partajată Infrastructura limbajului comun
Arhitectură	Biblioteca claselor de bază Infrastructura limbajului comun Asamblare .NET metadate COM Interop
Infrastructură	Common Language Runtime sistem de tip comun Limbaj intermediar comun execuție virtual Dynamic Language Runtime
Limbi Microsoft	C# Cω Visual Basic .NET C++/CLI Gestionate J# vizual JScript .NET Windows PowerShell IronPython Rubin de fier F# Spec# Cânta#
Alte limbi	A# Boo IronScheme Clojure Nemerle P# PascalABC.NET PHP Scala Cobra Prisma Delphi
Fundamente Windows	prezentare comunicare Fluxul de lucru
Componente	ADO.NET Entity Framework Servicii de date ASP.NET AJAX MVC Date .NET Remoting Interogare integrată în limbaj Spațiu pe card Windows Formulare Windows XAML Faceți clic O dată Dynamic Language Runtime Extensii paralele PLINQ TPL
Comparații	C# și Java C# și Visual Basic
Tehnologii viitoare	Jasp
Resurse informaționale	Emisiunea .NET NuGet

Principalele
proiecte

Limbaje de programare și compilatoare	Bartok Bosque Cω F* A se sprijini P Phoenix C# polifonic Cânta# Spec#
Calcul distribuit / Grid	mare top Linii de grilă BitVault Orleans
Internet și rețele	Ajax View Avalanşă Conferință XP Gazelă maimuta de miere Penny Black Lovitură straşnică WikiBhasha
Alte	Trusa de instrumente cognitive IllumiRoom Editor de imagini compuse MyLifeBits stație live SLAM Terminator Telescopul mondial FotoADN Verificatorul teoremei Z3 Curier
Sisteme de operare	Barilfish Home OS Midori Singularitate Vervă
API	Se alătură Accelerator Driadă SXM
Lansat ca produs independent	C# chat comic Ocoliri F# Bara laterală Windows PixelSense ( TouchLight ) sensecam tip clar Fotografie de grup Suport TrueSkill cântec Xbox Kinect

Laboratoarele MSR

Labs

Real	Pivot Dragon de mare zoom profund DeepZoomPix
întreruptă	Deepfish listele Clipboard live Fotosynth Volta

Labs

Alte divizii

Categorie