Pour quelles plateformes peut-on utiliser Sing# pour développer ?

Question

J'étais juste en train de lire sur Singularité et l'un de ses langages de développement, Sing#. Maintenant, je veux savoir pour quelles plateformes je peux développer avec Sing#.

Answer 1

J'imagine que c'est la propriété de Singularity.

Il existe également Spec# dont Sing# est dérivé ( de Wikipedia ).

Answer 2

Je crois que Sing# a été développé spécifiquement pour et ne fonctionne que sous Singularity, malheureusement.

Answer 3

Sing# est un dérivé de C# qu'ils ont créé spécifiquement pour développer Singularity. J'imagine que c'est juste une forme spécialisée pour faire un OS

http://www.microsoft-watch.com/content/operating_systems/microsofts_other_os.html