Re: What's wrong with C++?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Thu, 17 Feb 2011 17:12:37 +0100, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:
> The third note is that if inferred, then why should we care of types?
No, you have to care, and you still define types. You just don't have to  
be so much redundant as you would be with, say, Ada. This is required with  
functional language where you do not use side-effect (there may be some  
side effect in SML which is not stricly pure, but you may not use side  
effects as long as you don't want), where function returns rather complex  
types and get numerous parameters which are as much complexes. Without  
type inference... functional program texts would simply be an unreadable  
mess (:-))

> Now the main objection is computability and decidability. Only "simple"
> things can be inferred. The compiler cannot solve problems beyond
> Turing-completeness.
Actually, SML interpreters are required to complain if ever that occurs,  
and the program will not start at all. So there is nothing like such a  
problem.


-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]