|
|
 |
[News] Spec# en version 1.0
Liens sponsorisés
Actualités
Voici une compilation des sources d'information sur ce sujet :
Spec# est une variante de C# implémentant le design par contrat. Cette version 1.0 était attendue de longue date. "(...) Null reference exceptions are probably the most common exception discovered in C#, Java, and VB programs. In an effort to eliminate this class of error, Spec# supports a non-null type system. In this, the compiler guarantees that variables declared with the "!" symbol such as "private Customer! _customer;" will never be null. In order to facilitate this, it allows member variables to be initialized even before base class constructors. (...)" . A découvrir absolument si vous ne connaissez pas...
Dans cette très belle interview du magazine ComputerWorld, le papa de C#, Anders Hejlsberg, révèle plusieurs anecdotes et évoque le futur de C#. Il est notamment question de la compétition avec Java, des choix de conception et des fonctionnalités "manquées" : " 50% of the bugs that people run into today, coding with C# in our platform, and the same is true of Java for that matter, are probably null reference exceptions. If we had had a stronger type system that would allow you to say that ‘this parameter may never be null, and you compiler please check that at every call, by doing static analysis of the code’. Then we could have stamped out classes of bugs". A lire absolument.
Parmi les nombreux projets méconnus mais néanmoins prometteurs du laboratoire de Microsoft (MSResearch) figure un langage dont le nom de code est Spec#. Spec# étend C# en lui ajoutant des fonctionnalités tels que la gestion des exceptions vérifiées à la Java (Checked Exception), la programmation par contrat avec pre et post-condition, la vérification des types null ou les invariants d'objet. Les projets de recherche constituent souvent une source d'inspiration précieuse pour le .NET de demain. Dans ce futur paysage, nul doute que Spec# aura un rôle à jouer. Le compilateur est compatible VS 2003 et 2005 béta. A découvrir absolument...
Salem
Description :
??? ???? ?????? ??????
????? ?????
?? ????? ??? ???? ??? ??? : ??? ???? ???? ??? ???? ???? ???? :" ?? ?????? ???????? ????????? ? ??? ???? ?? ??? ???? ?????? ???? "
????? ??????
?? ??? ????? ??? ???? ??? ??? : ??? ???? ???? ??? ???? ???? ???? :" ?? ??? ????? ?? ???? ???? ??? ?? ???? ? ??????? ??????????? ? ?? ???? : ( ??? ) ??? ? ???? : ??? ??? ???? ??? ???? ??? "
????? ??????
?? ??? ????? ??? ???? ??? ??? : ??? ???? ???? ??? ???? ???? ???? :" ?????? ??????? ??? ?????? ? ??????? ?? ??????? ? ??????? ??? ?????? : ????? ???? ?????? ? ????? ???? ?????? "
????? ??????
?? ??? ????? ??? ???? ??? ? ?? ????? ??? ???? ???? ???? ??? :
" ?? ???? ????? ?? ?????? ?????? : ????? ???? ? ?????? ??? ? ??? ??? ??? ???? ? ????? ???? . ??? ??? : ????? ???? ??? ?? ????? ???? ? ???? ??? ????? ???? ? ??? ??? : ???? ???? ???? ??? ? ??? ??? : ????? ??? ?? ???????? ?? ??? ???? ???? ?? ?????? ???? ? ???? ??? ?????? ???? " ???? ????
????? ??????
?? ??? ???? ??????? ??? ???? ??? ??? : ??? ???? ???? ??? ???? ???? ???? :" ?????? ??? ??????? ? ?????? ??? ???? ??????? ? ?????? ???? ?????? ??? ????? ? ?? ???? ?? ??? ?????? ?????? ? ??????? ??? ? ??????? ????? ? ?????? ???? ? ??????? ??? ?? ?? ???? ? ?? ????? ???? ????? ???? ??????? ?? ?????? "
????? ??????
?? ??? ????? ??? ???? ??? ??? : ???? ????? ??? ???? ???? ???? ???? ????? ???? . ???? ??:" ???? ??? ???? ????? ?? ??? ????? ?" ????: ???? ???? ?? ???...
Dans son blog, Somasegar, Vice President de la division développeurs .NET chez Microsoft, s'explique sur un changement de dernière minute opéré dans la CLR sous la pression de la communauté. Ce changement concerne le fameux type nullable : "The outcome is that the Nullable type is now a new basic runtime intrinsic. It is still declared as a generic value-type, yet the runtime treats it special. One of the foremost changes is that boxing now honors the null state. A Nullabe int now boxes to become not a boxed Nullable int but a boxed int (or a null reference as the null state may indicate.) Likewise, it is now possible to unbox any kind of boxed value-type into its Nullable type equivalent."
Dans son blog, Somasegar, Vice President de la division développeurs .NET chez Microsoft, s'explique sur un changement de dernière minute opéré dans la CLR sous la pression de la communauté. Ce changement concerne le fameux type nullable : "The outcome is that the Nullable type is now a new basic runtime intrinsic. It is still declared as a generic value-type, yet the runtime treats it special. One of the foremost changes is that boxing now honors the null state. A Nullabe int now boxes to become not a boxed Nullable int but a boxed int (or a null reference as the null state may indicate.) Likewise, it is now possible to unbox any kind of boxed value-type into its Nullable type equivalent."
[[[b]size=32]b]
????? ??? ???? ?????? ?? ??? ?????? ..?
?????? ? ???? :
" ?? ???? ???? ?? ????? "
??? :
:
" ?? ?? ???? ??? ???? ?? ?????? "
??????? :
" ?????! ?????? ?? ??????? ? ??????? ??????? ? ?? ?????? ??????? ??????? ?????? "
" ??????? ????? ??????? ????? ??? ?????? ????? ????????? ????? "
" ?????? ????????? ???? ? ??????? ??????? ??? ?????? ?????? ??? ????????"
" ?????? ??? ?? ???? ?? ?????? ????? ? ? ?????? ??? ?? ???? ?? ?????? ????? "
???? ????? ??? ....
?? ???? :
" ?? ?? ???? ?????? ???? ??? ????? ?? ?????????...? "
???????:
" ???????? ???? ?? ???????? ???? ???? ???????? ?? ???????? ???? ?? ???? ?????? ??????? "
" ???????? ???? ??????? ?????? ?? ??????? "
" ???????? ??????? ???????? ??????? "
" ???????? ?? ??????? ?????? ??? ?? ???? ??????? ?? ?? ?? ????? ?????"
" ???????? ?? ???? ????? ??????? ???? ?????? ?? ??????? ??? ?????? ?? ?????? ?? ??????"
" ???????? ?? ????? ???? ?? ????? ??? ??? ????? ? ?????????? ????? ?????"
" ???????? ??? ?? ???? ?? ????? ????? ?????? ??? ????? ?? ??????? ?????? ????? "
????????
?? ?? ?????? ??? ??? ?? ?????
?? ??? ????? ???
??
????? ??????? ?? ???????
----------------------
??? ?? ????? ?? ???? ?? ??? ??????
?
??? ????? ?? ??? ?????? ???? ????? ???????[/b][/size][/b]Message: http://med-dz.xooit.com/t3235.htm
Autres actualités
- [News] Anders Heljberg raconte C# et évoque C#4
Dans cette très belle interview du magazine ComputerWorld, le papa de C#, Anders Hejlsberg, révèle plusieurs anecdotes et évoque le futur de C#. Il est notamment question de la compétition avec Java, [...]
- Pour les câblos, c'est bingo
Le rachat des télédistributeurs wallons par le consortium "Voo" est dans la dernière ligne droite.La future entité ambitionne de commercialiser des services "triple play" dès le mo[...]
- [News] SpecExplorer ou les tests pilotés par les modèles
VS2010 proposera un nouvel outil pour les tests pilotés par les modèles : "Keith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Vis[...]
- Prison Break... dance!
Les vidéos de centaines de prisonniers philippins qui dansent sur "thriller" de Michael Jackson, "Radio Ga-Ga" de Queen, et même "Sister Act" cartonnent sur YouTube.[...]
- Un portail sur mesure pour l'envoi massif de son CV
Deux sociétés ont lancé conjointement mardi <a href="http://www.sendingmycv.com" target="_blank" class="lien">un portail internet</a> sur le marché belge afin[...]
- Dégraissants
"Super", "ultra" ou "power", les dégraissants annoncent une action musclée contre les taches de graisse, fléau des cuisines. Sont-ils si efficaces ?[...]
- La voiture éclipse l'utilitaire
Le 85e Salon automobile de Bruxelles ouvre ses portes ce samedi au public. Comme toutes les années impaires, il est consacré aux véhicules utilitaires légers. Mais les voitures de loisirs leur volent [...]
- Négociations sur la prime de départ/licenciement
Syndicats et direction de Volkswagen Forest ont entamé vendredi après-midi, vers 14h30, les négociations sur le montant des primes de licenciement et de départ pour les salariés du site. Les syndicats[...]
- SPECIALE CANNES: Les points phares du Festival de Cannes
Retour sur le palmarès du festival. "Entre Les Murs", de Laurent Cantet, a reçu la Palme d'or, le Grand prix a été attribué à "Gomorra", de Matteo Garrone, et Elizabeth Tchoun[...]
- Manger sainement devient prioritaire
Plus que "manger vite, pas cher ou pratique", c'est "manger sain" qui semble être devenu la priorité des Belges s'il faut en croire l'étude réalisée auprès de 4 500 concitoyens par[...]
- Les comédies des années 80 ont toujours autant de succès auprès des adolescents
TORON - La popularité des comédies datant des années 80 ne se dément pas auprès des adolescents, malgré la concurrence de films récents comme le gros succès de 2007 quot;Superbad quot;. Des films com[...]
- Allégations sur les produits alimentaires
Trompeuses ou informatives ? Une nouvelle réglementation vient enfin réguler les mentions telles que "extra light", "pauvre en graisses", "riche en calcium.[...]
- ISRAEL - FRAUDE: Olmert de nouveau interrogé par la police
Ehoud Olmert, soupçonné de "corruption" et "d'escroquerie", a été interrogé pour la troisième fois. La police et le ministère de la Justice ont indiqué que de "nouveaux s[...]
- AFGHANISTAN : Hamid Karzaï invite les Taliban à la "réconciliation"
Depuis Munich, le chef de l'État afghan a invité les Taliban qui ne seraient pas liés à "des réseaux terroristes et à Al-Qaïda" à "revenir" dans le pays afin qu'ils parti[...]
- Cyrano rafle 6 Molières
La 21e "Nuit des Molières" a couronné la Comédie-Française et notamment son "Cyrano de Bergerac", boudant a contrario la comédie musicale "Cabaret".[...]
|
|
|
|
|
Formation referencement
Formation au référencement par les spécialistes en référencement de Ranking Metrics : conférence le matin, atelier pratique l'après-midi.
|
|
|
