Could somebody please confirm or deny the rumor that, that is in fact, Rory Blyth picking his nose in the mirror?
It's strange how discussions with apparently no content or direction turn out to be one of the most entertaining ones.
OMG. Yes, he's in up to the hilt...golly. I need to change that keyframe...
Well, the sound on my MacBook is really quit :/
Joel is right about type inference for parameters. F# does it. From the docs:
Inference of Parameter and Return Types
In a parameter list, you do not have to specify the type of each parameter. And yet, F# is a statically typed language, and therefore every value and expression has a definite type at compile time. For those types that you do not specify explicitly, the compiler infers the type based on the context. If the type is not otherwise specified, it is inferred to be generic. If the code uses a value inconsistently, in such a way that there is no single inferred type that satisfies all the uses of a value, the compiler reports an error.
The return type of a function is determined by the type of the last expression in the function.
For example, in the following code, the parameter types a and b and the return type are all inferred to be int because the literal 100 is of type int.
let f a b = a + b + 100
There is parameter type inference in C# now guys, circa .NET 3.x. It's a generic method/function (it has to be static I think). LINQ does it all the time, take a look at the Aggerate<> method it's an extension method (function) as one example on the IEnumerable<> type, all the parameters are infered.
Selling points for .NET 4.0,
(the DLR is actually, not so much of a .NET 4.0 thing though, my list would actually only include one thing, and that's the new variance features built into the new C# compiler).
With all the stuff, F#, M, Iron... and new language features the .NET 4.0 release is a big one.
This was awesome, thanks for sharing. I actually prefer these kind of free discussions, I find them at least as informative / helpful in helping me think about programming as "targetted" content.
My Peace Corps host father, Mauritania 2003, asked to see my cellphone. You know, Americans have all the latest tech. I had recently bought the latest Ericsson in America. When he saw it, he looked disappointed and pulled out ... the same model. They were relatively prosperous. He had 12 goats and a delapidated delivery van. When the van hit a camel, he became destitute.