Sing Sharp

Sing#
Класс языка:	мультипарадигменный: структурный, императивный, объектно-ориентированный, событийно-ориентированный, функциональный, контрактный
Появился в:	2005 г.
Автор(ы):	Microsoft Research
Типизация данных:	статическая, строгая, типобезопасная, номинативная
Испытал влияние:	Spec#

Sing# - язык программирования с поддержкой параллельности, за счет чего превосходит язык программирования Spec#; в свою очередь, Spec# также является расширением языка C#. Microsoft Research разработала Spec#, а затем расширила его, превратив в Sing#, для разработки операционной системы Singularity. Sing# превосходит возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО. Sing# типобезопасен. Семантика обменивающихся данными примитивов (message-passing primitives) в языке Sing# определена формальными и зафиксированными соглашениями.

См. также

Language Support for Fast and Reliable Message-based Communication in Singularity OS. Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, and Steven Levi. Proceedings of EuroSys2006. Leuven, Belgium, April 2006. ACM SIGOPS.
An Overview of the Singularity Project, Technical Report MSR-TR-2005-135, Microsoft Research, 2005.

SQL	Это незавершённая статья о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её.

Если вам нравится SbUP.com Сайт, вы можете поддержать его - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 и ещё....

→

п·о·р .NET Framework
Архитектура	Base Class Library \| Common Language Infrastructure \| .NET assembly \| .NET metadata \| COM Interop
Инфраструктура	Common Language Runtime \| Common Type System \| Microsoft Intermediate Language \| Virtual Execution System \| Dynamic Language Runtime
Языки Microsoft	C# \| Cω \| Visual Basic .NET \| C++/CLI (Managed) \| Visual J# \| JScript .NET \| Windows PowerShell \| IronPython \| IronRuby \| F# \| Spec# \| Sing#
Другие языки	A# \| Boo \| IronLisp \| L# \| Nemerle \| P# \| PascalABC.NET \| PHP \| Scala \| Delphi Prism
Windows Foundations	Presentation \| Communication \| Workflow
Компоненты	ADO.NET (Entity Framework · Data Services) · ASP.NET (AJAX · MVC · Dynamic Data) · .Net Remoting · Language Integrated Query · Windows CardSpace · Windows Forms · XAML · ClickOnce · Dynamic Language Runtime · Parallel FX Library (PLINQ · TPL)
Реализации	DotGNU \| Mono \| .NET Compact Framework (Xbox 360) \| .NET Micro Framework \| Portable.NET \| XNA Framework \| Silverlight \| Shared Source Common Language Infrastructure
Сравнения	C# и Java \| C# и Visual Basic .NET \| Java и .NET
Будущие технологии	Acropolis \| Jasper