Consider the following (trivial) code segment: while (i++, i <= 10) { // some more code } In the general case, C++ allows comma separated statements to be evaluated in any order. In the case...

In Scala 2.8 language specification, §6.26.5 Eta Expansion, it states that we need a maximal sub-expression, however, no definition of this can be found. Can someone clarify this?

In 6.1.6. of the C# language specification, there is: The implicit reference conversions are: (...) From any reference-type to a reference-type T if it has an implicit identity or reference ...

How exactly is foreach implemented in C#? I imagine a part of it looking like: var enumerator = TInput.GetEnumerator(); while(enumerator.MoveNext()) { // do some stuff here } However I'm...

C# 5.0 is out now since August 2012. Where can I find the specification? They've stopped doing ECMA specs, but how about MSDN?

The C# 4.0 specs read: When a virtual method is invoked, the runtime type of the instance for which that invocation takes place determines the actual method implementation to invoke. In a nonv...

In a generic GetHashCode(T foo) method, I check whether foo is null. However I just stumbled upon a strange Resharper warning. In the following code, can foo never be null? private class FooComp...

I have the following code written in both C++ and C# int i=0; ++i = 11; After this C# compiler brings an error The left-hand side of an assignment must be a variable, property or indexer Bu...

I was wondering why it is not allowed in Java to overload Foo(Object[] args) with Foo(Object... args), though they are used in a different way? Foo(Object[] args){} is used like: Foo(new Object...

Does documentation for the Objective-C 2.0 ABI exist somewhere on the Internet? The release notes for objc4-493.9 say: Forthcoming documentation will describe the ABI for the use of compilers an...

(Note: I know how it is illegal, I'm looking for the reason that the language make it so.) template<class c> void Foo(); // Note: no generic version, here or anywhere. int main(){ Foo<i...

I thought this method was valid but I was wrong: static void Equals<T>(T x, T y) { return x == y; //operator == can't be applied to type T } After reading the specifiation (§7.2.4 in v3.0...

I wanted to write some educational code in Haskell with Unicode characters (non-Latin) in the identifiers. (So that the identifiers look nice and natural for speakers of a natural language other th...

More a question out of curiosity than anything, but why does C# define two different "purposes" for the keyword using? On one hand, it's a directive... used to create an alias for a namespace ...

MSDN says that a class that would be 16 bytes or less would be better handled as a struct [citation]. Why is that? Does that mean that if a struct is over 16 bytes it's less efficient than a class ...

Section 6.1 Implicit conversions defines an identity conversion thusly: An identity conversion converts from any type to the same type. This conversion exists such that an entity that already ha...

The C# language specification describes type inference in Section §7.5.2. There is a detail in it that I don’t understand. Consider the following case: // declaration void Method<T>(T obj, F...

I have a C# 4.0 parser. It accepts 'dynamic' as a keyword as a type. My parser trips over statements found in working C# 3.0 programs of the form of: dynamic = <exp> ; So, it dynamic reall...

I have to maintain a portion of Access 2003 VBA code, which is not my primary programming language, and while I'm pretty solid on doing regular stuff, I would still like to have a pure spec of the ...