Question

In C# I am trying to write code where I would be creating a Func delegate which is in itself generic. For example the following (non-Generic) delegate is returning an arbitrary string:

Func<string> getString = () => "Hello!";

I on the other hand want to create a generic which acts similarly to generic methods. For example if I want a generic Func to return default(T) for a type T. I would imagine that I write code as follows:

Func<T><T> getDefaultObject = <T>() => default(T);

Then I would use it as

getDefaultObject<string>() which would return null and if I were to write getDefaultObject<int>() would return 0.

This question is not merely an academic excercise. I have found numerous places where I could have used this but I cannot get the syntax right. Is this possible? Are there any libraries which provide this sort of functionality?

Answer 1

Though one might find practical workarounds like Stephen Cleary’s

Func<T> CreateGetDefaultObject<T>() { return () => default(T); }

where you can specify the generics directly, this is a quite interesting problem from a theoretical point that cannot be solved by C#’s current type system.

---

A type which, as you call it, is in itself generic, is referred to as a higher-rank type.

Consider the following example (pseudo-C#):

Tuple<int[], string[]> Test(Func<?> f) {
    return (f(1), f("Hello"));
} 

In your proposed system, a call could look like that:

Test(x => new[] { x }); // Returns ({ 1 }, { "Hello" })

But the question is: How do we type the function Test and it’s argument f?
Apparently, f maps every type T to an array T[] of this type. So maybe?

Tuple<int[], string[]> Test<T>(Func<T, T[]> f) {
    return (f(1), f("Hello"));
} 

But this doesn’t work. We can’t parameterize Test with any particular T, since f should can be applied to all types T. At this point, C#’s type system can’t go further.

What we needed was a notation like

Tuple<int[], string[]> Test(forall T : Func<T, T[]> f) {
    return (f(1), f("Hello"));
} 

In your case, you could type

forall T : Func<T> getDefaultValue = ...

The only language I know that supports this kind of generics is Haskell:

test :: (forall t . t -> [t]) -> ([Int], [String])
test f = (f 1, f "hello")

See this Haskellwiki entry on polymorphism about this forall notation.