home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.lang.c++.moderated      Moderated discussion of C++ superhackery      33,346 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 32,449 of 33,346   
   Zeljko Vrba to Le Chaud Lapin   
   Re: Standard Versus Non-Standard C++   
   03 Jul 12 06:43:09   
   
   From: mordor.nospam@fly.srk.fer.hr   
      
   On 2012-07-03, Le Chaud Lapin  wrote:   
      
   > Thus is the essence of my argument. A C++ standard's body, of all   
   > organizations, plainly stated that C++/CLI is not C++, yet Microsoft   
   > persists in saying that it is.   
   >   
   > What is the truth? They cannot both be right.   
      
   Technically, they can't both be right, but establishing the truth   
   would require:   
      
      1. Establishing the formal semantics of ISO C++ (let's call it S1)   
      2. Establishing the formal semantics of C++/CLI (let's call it S2)   
      3. Use an automated system to prove or disprove that the set of   
         defined behaviors of S1 is a subset of the set of defined   
   	 behaviors of S2.   
      4. If it is proven that S2 is a superset of S1, then C++/CLI is C++.   
      
   Given that this has not been done, I consider the truth currently   
   "unknown", regardless of how the humans on both sides of the   
   discussion "feel".  The said humans are engaged in a political power   
   struggle with little technical merit.   
      
      
      
   --   
         [ See http://www.gotw.ca/resources/clcm.htm for info about ]   
         [ comp.lang.c++.moderated.    First time posters: Do this! ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca