Automatic typing

[JS]

On Monday, 1 July 2013 at 06:51:53 UTC, deadalnix wrote:
> On Monday, 1 July 2013 at 06:38:20 UTC, JS wrote:
>> well duh, but it is quite a simple mathematical problem and 
>> your counter-example is not one at all.
>>
>> For a statically typed language all types must be known at 
>> compile time... so you can't come up with any valid 
>> counter-example. Just because you come up with some convoluted 
>> example that seems to break the algorithm does not prove 
>> anything.
>>
>> Do you agree that a function's return type must be known at 
>> compile time in a statically typed language? If not then we 
>> have nothing more to discuss... (Just because you allow a 
>> function to be compile time polymorphic doesn't change 
>> anything because each type that a function can possibly return 
>> must be known)
>
> As a compiler implementer, Timon is probably way more competent 
> than you are on the question. You'll get anything interesting 
> to add by considering you know better.
>
> The type of problem he mention are already present in many 
> aspect of D and makes it really hard to compile in a consistent 
> way accross implementations. Adding new one is a really bad 
> idea.
>
> If you don't understand what the problem is, I suggest you to 
> study the question or ask questions rather than try to make a 
> point.

You can't be as smart as you think or you would know that "proof 
by authority" is a fallacy.